[coreboot-gerrit] New patch to review for coreboot: [NOTFORMERGE] Kconfig: Do not build SMBIOS table by default