The Linux kernel source for the Pi has been ‘forked’, rather than being released as a patch set..

This is probably a necessary evil, in order to get a working version out in public…   But.. This has the (obvious) downside that we have to rely on regular creation of ‘newer’ forked versions, and the current Pi kernel source available is already ‘old’…   The forked source is based on kernel 3.1.9, whereas the current ‘stable’ version (as of March 21st 2012) is 3.2.12, and new version 3.3 is also now available..

Hopefully this will all be available – at least – as a patchset to the current/stable kernel source, soon..