Want full SD card image AND matching kernel sources from Rocketboards

Have Arrow SoCKit.

Simply want both the full SD card image (pre-loader, bootloader, Linux kernel, dtb, root file system) which I will use to boot SoCKit, AND I want the kernel sources that correspond to the kernel running in the full SD card image.

I cannot figure out how to do this on Rocketboards.org. The versioning there is beyond my comprehension.

I can use any release that will run on SoCKit, so long as the kernel sources match the prebuilt image on the SD card. I am building a kernel module, so I need that match.

Can anyone please help?