tinyriscv-openocd/tcl/target/smdk6410.cfg