/include/config/ACPI_HOTPLUG_IOAPIC