OpenCL + Cyclone V SoC

It seems the new Cyclone V GSRD doesn't work on the SoCKit straight out of the box. It tells me:

dwmmc_socfpga ff704000.dwmmc0: regmap for altr,sys-mgr lookup failed.
platform ff704000.dwmmc0: Driver dwmmc_socfpga requests probe deferral

The SoCKit specific version is currently password protected on RocketBoards: http://www.rocketboards.org/foswiki/documentation/gsrdusermanualarrowsockitedition

Does that mean it's still being worked on? I've now received an evaluation licence for Quartus II, and OpenCL no longer complains about that. I think I have everything configured right, but it now tells me:

$ aoc hello_world.cl --board c5soc
Warning: Unused kernel argument 'acl.printf.buffer.start'
Warning: Unused kernel argument 'acl.printf.buffer.size'
Internal Error: Sub-system: DEV, File: /quartus/ddb/dev//dev_basic_info.cpp, Line: 617
Error: Qsys-script FAILED.
Refer to hello_world.log for details.

and the log file says:

2013.11.26.09:23:47 Info: Doing: <b>qsys-script --script=system.tcl --Xmx512M --XX:+UseSerialGC --system-file=system.qsys</b>
Internal Error: Sub-system: DEV, File: /quartus/ddb/dev//dev_basic_info.cpp, Line: 617
BASIC_INFO's HDR file /opt/altera/13.1/quartus/common/devinfo/stratixv/ddb_stratixv_gxf5_es_hdr.ddb not installed

It's right about me not having any Stratix V stuff installed yet, but why should it need it when I'm attempting to build for the Cyclone V?