hw/pci: Introduce helper function pci_device_get_iommu_bus_devfn()