add make-disco.sh , openocd.cfg