[libvirt] PATCH: PCI device passthrough in Xen driver