pub const VIDEO_TYPE_EFI: u32 = 112;