Our userspace tools doesn't support this.
#
# x86 CPU frequency scaling drivers
#
-CONFIG_X86_INTEL_PSTATE=y
+# CONFIG_X86_INTEL_PSTATE is not set
CONFIG_X86_PCC_CPUFREQ=m
CONFIG_X86_ACPI_CPUFREQ=m
# CONFIG_X86_ACPI_CPUFREQ_CPB is not set
#
# x86 CPU frequency scaling drivers
#
-CONFIG_X86_INTEL_PSTATE=y
+# CONFIG_X86_INTEL_PSTATE
CONFIG_X86_PCC_CPUFREQ=m
CONFIG_X86_ACPI_CPUFREQ=m
# CONFIG_X86_ACPI_CPUFREQ_CPB is not set
CFLAGS =
CXXFLAGS =
-PAK_VER = 50
+PAK_VER = 51
DEPS = ""
VERSUFIX=ipfire$(KCFG)