Add a working OpenOCD config for JTAG debugging