openocd/tcl/target/k60.cfg