[coreboot-gerrit] New patch to review for coreboot: 59d2844 smbios.c: Fix mismerge which led to laptop being default type