openocd with arm is working