# CONFIG_DMAR_DEFAULT_ON is not set
# CONFIG_HOTPLUG_PCI_PCIE_POLL_EVENT_MODE is not set
# CONFIG_MEMORY_HOTREMOVE is not set
# CONFIG_DMAR_DEFAULT_ON is not set
# CONFIG_HOTPLUG_PCI_PCIE_POLL_EVENT_MODE is not set
# CONFIG_MEMORY_HOTREMOVE is not set