[coreboot-gerrit] Patch merged into coreboot/master: 47a14b1 util/board_status/board_status.sh: set its executable flag