a XML file for hotplug a PCI device