If anyone wants to play, I updated to 3.10 kernel. Not tested greatly, but it boots and runs xbmc.
https://github.com/raspberrypi/linux/tree/rpi-3.10.y
Source code only - this is only intended for people who can build their own kernel, and help to diagnose problems.
