Add HIE JTAG openocd config