boards.txt: fix issue related to target board name