add TARGET_BOARD_INFO_FILE