[coreboot-gerrit] Patch set updated for coreboot: 9cca789 Allow mainboard vendor name and part number override in SMBIOS tables