# CONFIG_HOTPLUG_PCI_FAKE is not set
