CONFIG_ACPI_HOTPLUG_IOAPIC=y
