tcl/board: add Marsohod3 FPGA board config