patches for openocd