tcl/interface/ftdi: Add Digilent JTAG-HS3 config