openocd/tcl/board/kasli.cfg