[coreboot-gerrit] Patch set updated for coreboot: 651fad9 board-status: add info from board_info.txt.