fix printing supported boards list for new-style board.txt files