# CONFIG_CPU_IDLE_GOV_TEO is not set