update boards.txt and platform.txt