# CONFIG_ACPI_EC_DEBUGFS is not set
# CONFIG_ACPI_FAN is not set
# CONFIG_ACPI_INITRD_TABLE_OVERRIDE is not set
+CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
# CONFIG_ACPI_PCI_SLOT is not set
CONFIG_ACPI_PROCESSOR=y
# CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
-# CONFIG_ACPI_PROCFS is not set
# CONFIG_ACPI_PROCFS_POWER is not set
# CONFIG_ACPI_SBS is not set
# CONFIG_ACPI_THERMAL is not set
# CONFIG_ACPI_WMI is not set
+CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
# CONFIG_ASUS_LAPTOP is not set
CONFIG_CPU_IDLE_GOV_MENU=y
# CONFIG_EEEPC_LAPTOP is not set
# CONFIG_EFI is not set
+CONFIG_HAVE_ACPI_APEI=y
+CONFIG_HAVE_ACPI_APEI_NMI=y
CONFIG_HOTPLUG_PCI=y
CONFIG_HOTPLUG_PCI_ACPI=y
# CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
CONFIG_PNPACPI=y
CONFIG_PNP_DEBUG_MESSAGES=y
# CONFIG_PVPANIC is not set
+CONFIG_RAS=y
# CONFIG_SAMSUNG_Q10 is not set
# CONFIG_SCSI_VIRTIO is not set
CONFIG_SERIAL_8250_PNP=y
# CONFIG_X86_PCC_CPUFREQ is not set
CONFIG_X86_PM_TIMER=y
# CONFIG_X86_PPRO_FENCE is not set
-# CONFIG_XEN_PRIVILEGED_GUEST is not set
-# CONFIG_XO15_EBOOK is not set