[coreboot-gerrit] Patch set updated for coreboot: 914b4b0 board_info.txt: Add mentions of thinclient names.