It appears the BIOS would use:

