dbfdg PCI Hotplug resources