[coreboot-gerrit] New patch to review for coreboot: arch/x86/smbios.c: re-add SPD manufacturer IDs