JTAG: Adjust openocd config to work with current OpenOCD versions (and older)