/include/config/HOTPLUG_PCI_CPCI