# CONFIG_EFI is not set
# CONFIG_PM_DEBUG is not set
# CONFIG_ENERGY_MODEL is not set