What would be the benefit of having their own IOMMU instead of just using the ARM SMMU?