x86, AMD IOMMU: add functions for IOMMU hardware initialization from ACPI