[coreboot] New patch to review for coreboot: 0cd6e0f Extend smbios api to allow runtime change of mainboard serial and version