[Bug 573311] 'xm create' fails with pci-passthrough if two PCI devices under the same bridge; patch/workaround provided