[coreboot] New patch to review for coreboot: de76e70 SMBIOS: move serial number and version out to Kconf