openocd/tcl/target/ti_cc3220sf.cfg