riscv-openocd/tcl/target/ke04.cfg