updating openocd config file for openocd 0.7.0