pub const XLF_EFI_HANDOVER_32: u32 = 4;