[coreboot-gerrit] New patch to review for coreboot: a5f5a31 board_info.txt: Add mentions of thinclient names.