[PATCH] PCI: fix !CONFIG_HOTPLUG pci build problem