Hi
Vivado/SDK 2013.4 can now without problems write the SPI Flash memory on TE0720.
Just select Xilinx Tools->Program Flash from SDK.
also please check, there is potential lock-up when invalid FSBL is flashed.
https://wiki.trenz-electronic.de/display/TE0720/Known+Issues
/Antti