Constant DEFAULT_PCAT_BOOT_ORDER 

pub const DEFAULT_PCAT_BOOT_ORDER: [PcatBootDevice; 4];