flash.cfg file for openocd