[coreboot-gerrit] New patch to review for coreboot: include/arch/acpi.h: change IVRS efr field to iommu_feature_info