# CONFIG_ARM_HIGHBANK_CPUIDLE is not set