pub const XLF_EFI_KEXEC: u32 = 16;