# CONFIG_CPU_IDLE is not set