x86_64: abstract how we find the iommu_table for a device