Hello,
Our current release works with Vivado 2013.4. The Boot.bin is generated with SDK 2013.4.
Please use for HDL:
https://github.com/analogdevicesinc/hdl/tree/hdl_2014_r1
For linux:
analogdevicesinc/linux at 2014_R1 · GitHub
These are the latest stable versions, which are also included on the latest version of the SD card.
Regards,
Adrian