openocd/tcl/board/nds32_xc5.cfg