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