[coreboot-gerrit] Patch set updated for coreboot: 84287e4 SMBIOS: Allow overriding default Manufacturer and Product names