[coreboot-gerrit] Patch set updated for coreboot: f8c7d18 board_info.txt: Add mentions of thin client names.