I just ran into this problem on my board. No ACPI IVRS table. I was running Arch Linux with KVM and had everything setup to work with IOMMU, but on boot linux says it had to disable IOMMU because...