Jeremy Cline ece6441
# CONFIG_CPU_IDLE_GOV_TEO is not set