[xen4-pciback] - add script to get Xen pci assignables BDF's device name