openocd patches