# CONFIG_CPU_IDLE_GOV_MENU is not set
