Raspberry pi spi kernel
You can download the raspberry pi spi kernel from http://www.bitwizard.nl/software/rpi-spi-binary-kernel-20120608.tgz (or remove the last pathname component to see if there is a newer version.).
The tarfile contains a boot/kernel.img, boot/system.map (should you get kernel oopses we can look up the symbols) and the /lib/modules/ directory. I suggest you use a spare SD card and unpack this to the root of your SD card, or be prepared to reinitialize your SD card should something go wrong (i.e. can no longer boot). (I don't expect so, but just to be sure).
The patch if you want to compile your own kernel is at: http://www.bitwizard.nl/software/rpi-spi-20120608.patch The patch was written by A Robinson<arobinson@cs.man.ac.uk> and improved/fixed by R.E.Wolff@BitWizard.nl .
You should start with the standard kernel for raspberry pi from github.
This kernel interfaces nicely with the Raspberry Pi LCD program (i.e. was developed with/ tested with).