When booting, my system hangs with a message similar to the following:
Check the system device tree and update the SCU GIC's node.
Below is an example of a corrected DTS node.
Note The line highlighted in red is commented out and replaced.
This has been resolved in the Xilinx Git repository.
See the following Git commit for details: https://github.com/Xilinx/device-tree-xlnx/commit/5923b4d6dac77b0424e2360e93f17d1339623821.
This corresponds to the "xilinx-v2014.2.01" tag.