# CONFIG_ARM_MEDIATEK_CPUFREQ is not set
