# CONFIG_ARM_CPUIDLE is not set
