[coreboot-gerrit] Patch merged into coreboot/master: arch/acpi_ivrs.h: Update 8-byte IVRS entry values