# CONFIG_DEVFREQ_GOV_PERFORMANCE is not set