openocd/tcl/target/ke1xf.cfg