[coreboot-gerrit] New patch to review for coreboot: 3fdf58f board_status.sh: trivial cosmetic changes toward the end