prefer an explicitly-set TARGET_BOARD_INFO_FILE

Change-Id: Ie667a4d0070d1f0bbdfe9fa6d96871bcceb959b8
1 file changed