Update Openocd 0.8