Want full SD card image AND matching kernel sources from Rocketboards

I'm going to withdraw the above question.

I started looking at the updated Rocketboards site for 14.0 SoCKit, and believe I can figure it out. I believe my trouble was with the older version 13.1. With 14.0, all the resources I need seem to be obtainable from http://www.rocketboards.org/foswiki/documentation/gsrd140usermanualarrowsockitedition

Will update if I run into trouble. Thanks.