IOMMU: Style Fix ups (minor)#570

cazb2 wants to merge 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:callumb/iommu_styleau-ts/microkit:callumb/iommu_styleCopy head branch name to clipboard