# CONFIG_ACPI_CPPC_CPUFREQ is not set