# CONFIG_ARM_ARMADA_8K_CPUFREQ is not set