Chasmodo von XDA hat mal alle verfügbaren Kernels in einem Thread zusammengefasst.
Es sind auch immer die aktuellen Kernels der CM9 Nightlies dabei.

http://forum.xda-developers.com/show....php?t=1789397