PCI Hotplug resources
