Constant PlatformEFI 

pub const PlatformEFI: PlatformId;