tcl script for flashing board using openocd