[coreboot] Patch merged into coreboot/master: de76e70 SMBIOS: move serial number and version out to Kconf