kernel/include/config/CPU_IDLE_GOV_MENU