There is also unoffical kernel with the RPi patches rebase to 3.2 branch. Also a third one exist that tracks the mainline kernel source and is actively rebasing to new verison.
Github user bootc offers the 3.2 kernel:
https://github.com/bootc/linux/tree/rpi-3.2.23Github user lp0 offers thr rpi-linear mainline kernele:
https://github.com/lp0/linux/tree/rpi-linearI have tried to build the 3.2 version, but I can't get it to boot for some reason.