[coreboot-gerrit] Patch merged into coreboot/master: bcd0993 board_status.sh minor fixes - no functional changes