Constant SETUP_EFI

Source
pub const SETUP_EFI: u32 = 4;