[coreboot] Patch set updated for coreboot: 2c4313c Extend smbios api to allow runtime change of mainboard serial and version