[coreboot-gerrit] Patch merged into coreboot/master: smbios.h: add missing SKU field to type3 table