[coreboot-gerrit] Patch set updated for coreboot: dfa3dc1 board_info.txt: Move category to Kconfig for SMBIOS benefit.