[coreboot-gerrit] New patch to review for coreboot: 4bdd5b1 board_status.sh: Replace [[ with [.