I am trying to get gdb (multiarch cli/eclipse) to debug linux kernel on avnet ultra 96 board over jtag and using openocd. My jtag interface is digilent HS3. I was able to get op