fix(toolchain_util.sh): Fix BOARD_NAMES list

This has been broken since d91e8d21 :(