I was becoming a little concerned that the Raspberry Pi kernel was getting left behind – at 3.1.9+ (now an EOL – End Of Life – version).
So, I found the 3.2.21 source produced by bootc, at https://github.com/bootc/linux/tree/rpi-3.2.21
Compiled OK, using the ARM cross-compilation toolchain, and now running with Fedora 17:rgpi ~]$ uname -a
Linux rgpi 3.2.21 #1 Fri Jun 29 18:07:30 BST 2012 armv6l armv6l armv6l GNU/Linux
Still some catching up to do (I am currently running 3.4.4 on my x86_64 system), but a big step in the right direction!