# CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
