kc705: digilent-jtag/kintex7/jtagspi board