AMD IOMMU: use iommu_device_max_index, fix