fix(toolchain_util.sh): Fix BOARD_NAMES list

This has been broken since d91e8d21 :(
Merge pull request #146 from marineam/fix-board-names

fix(toolchain_util.sh): Fix BOARD_NAMES list