Have a look here: viewtopic.php?p=7240#p7240
I’ve updated it with the information I have. (I realize I can’t answer your question, per se. I’m trying to track down the version that comes with the evaluation kit to see if I get any farther that way.)
I have managed to compile the files to a bitstream (in SiliconBlue lingo, a bitmap) but it doesn’t exactly match the official one published here.