# CONFIG_CPU_IDLE_MULTIPLE_DRIVERS is not set
