On the XK-1A Board the debug signal is just pulled up high with a resistor, its not buffered, just passed up the chain as is.
However on the slice kit it is pulled up and then buffered using an NC7WZ07
And the L2 datasheet says the following about it
On the block diagrams it is also shown as bidirectional.5.9 JTAG
.....
The DEBUG_N pin is used to synchronize the debugging of multiple xCORE Tiles.
This pin can operate in both output and input mode. In output mode and when
configured to do so, DEBUG_N is driven low by the device when the processor hits
a debug break point. Prior to this point the pin will be tri-stated. In input mode
and when configured to do so, driving this pin low will put the xCORE Tile into
debug mode. Software can set the behavior of the xCORE Tile based on this pin.
This pin should have an external pull up of 4K7-47K Ω or left not connected in
single core applications.
You might just get away with a pullup, although buffering doesn't seem to be an issue looking at the slice kit design. About as clear as mud!
However if its not broken don't fix it!
regards
Al