[Bug 643477] issues with PCI hotplug/hotunplug to Xen driver domain