# CONFIG_HOTPLUG_PCI_SHPC is not set