x86, AMD IOMMU: add documentation for kernel parameters