iommu/vt-d: Make device_to_iommu() cope with non-PCI devices