# CONFIG_ARM_PSCI_CPUIDLE is not set