[coreboot-gerrit] New patch to review for coreboot: board_status/getrevision.sh: get rid of colons in dir names