Openocd Modified for XVisor/iMX6 (based on git version)