[PATCH] Fix broken indentation in iommu_setup