update openocd configs