openocd/tcl/target/nds32v2.cfg