iommu/arm-smmu: Decouple context format from kernel config