[coreboot-gerrit] Patch merged into coreboot/master: Revert "arch/x86/smbios: Correct manufacturer ID"