tcl script for flashing board through openocd