pub type PF_BOOT_PHASE_ID = u32;