[PATCH 4/5] drm/tegra: Support kernel mappings with IOMMU