tcl/board: add Marsohod2 FPGA board config