[coreboot-gerrit] New patch to review for coreboot: arch/acpi_ivrs.h: Update 8-byte IVRS entry values