# CONFIG_CBE_CPUFREQ_PMI is not set
