# CONFIG_CPU_IDLE_GOV_LADDER is not set