I confirm that the 14 pin connector it's a JTAG port, but R199 and R230 must be bridged for it to work; JTAG pin 1 (TRST_N) must be connected to 3.3V.
For some reason, the port is incompatible with my xilinx interface, and even using a 74HC244 buffer doesn't help. So i built a "USB->serial->JTAG" interface using an arduino, and I'm currently dumping the bootloader at 0x93600000 (length 0x100000)
- I'll post the file later.
I've got also a backup of XENV if necessary...