Constant linux_raw_sys::bootparam::SETUP_EFI

pub const SETUP_EFI: u32 = 4;