EFI_BIOS_BOOT
{ EFI_BIOS_BOOT, "EFI_BIOS_BOOT" },
EFI_BIOS_BOOT,
{ EFI_BIOS_BOOT, V_BIOS_BOOT }, /* V_BIOS_BOOT is 0x18 */