+XEN x86=y
+XEN_DEBUG_FS x86=n
+
+#-
+#- *** FILE: drivers/acpi/Kconfig ***
+#-
+ACPI_FPDT all=y
+#- file drivers/acpi/nfit/Kconfig goes here
+#- file drivers/acpi/numa/Kconfig goes here
+#- file drivers/acpi/apei/Kconfig goes here
+#- file drivers/acpi/dptf/Kconfig goes here
+#- file drivers/acpi/arm64/Kconfig goes here
+#- file drivers/acpi/pmic/Kconfig goes here
+
+#-
+#- *** FILE: drivers/cpufreq/Kconfig.x86 ***
+#-
+X86_PCC_CPUFREQ x86=m x86_64=m