[coreboot-gerrit] Patch merged into coreboot/master: include/arch/acpi.h: change IVRS efr field to iommu_feature_info