[U-Boot] [PATCH 06/10] samsung: misc: set_board_info: check the board type to set fdt file name