cf3f98c7f466 ("drivers/vfio: Allow type-1 IOMMU instantiation with all ARM/ARM64 IOMMUs")
d88423f7844e ("vfio: Fix build break when SPAPR_TCE_IOMMU=n")