openocd/tcl/target/ke1xz.cfg