x86 iommu: add more documentation