And all excitement gone.. the module JTAG just worked, flashing it with led blink written using Zynq Arduino library, and the LED blinks from code loaded from flash.

Now all we need are docs and examples! :)