It is possible that it didn't show up in older kernels (4.4 for X) because Tegra didn't used the IOMMU at that time.
It is possible that it didn't show up in older kernels (4.4 for X) because Tegra didn't used the IOMMU at that time.