/include/config/HOTPLUG_PCI_CPCI_ZT5550