I had noticed that the OpenELEC XBMC build for the Raspberry Pi included a 3.1.10 kernel, so decided to ‘update’ my Fedora 17 card to this, using the OpenELEC kernel source, cross-compiled..

So..  Now running Fedora 17 on a 3.1.10 kernel:

I am hoping that the Pi kernel patches make it into the mainstream kernel soon, as 3.1.10 is getting a bit old (and is marked EOL (End Of Life) on kernel.org)..