# CONFIG_PARAVIRT_GUEST_CPUFREQ is not set
