Default Best kernel for cyanogenmod 7.1

Hey guys, I'm on cm7.1 and on stock kernel. I find the stock kernel really good, I can under clock until 500mhz and still feel that its snappy.
Whereas if I flashed other kernels the magic disappears, even at 800mhz it lags like hell.

So what are the kernels you're using for cm? Isit as fast?