It isn't clear if yours is working (I haven't gotten that far yet). I did just find some notes from the rocketboards RFI mailing list -- not sure if this is complete but I have to post snippets since links I post get held up in moderation:
These are from some messages posted to that list July 16th, 2014
[snip1]
In the latest release of the Arrai V SOC Development kit, The file hps_clock_info.xml file is missing.
In the prior revision, it was necessary for building the device tree of the development board and is
specified in all the documentation. Without it, the socfpga.dtb created doesn't allow linux to boot
completely. Also, there is a new file hps_common_board_info.xml. Should this be used in addition
to ghrd_5astfd5k3_board_info.xml.
Please advise,
[end snip1]
[snip2]
look at the makefile in the 14.0 example design. the sopc2dts call adds a
--clocks parameter that causes sopc2dts to add the clock info provided in
14.0 generated qsys sopcinfo files. you dont need a clock xml any longer.
[end snip2]