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:

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!