pub const PPM_FIRMWARE_ACPI1C3: u32 = 2u32;