[Q] Kernel list?

view story

http://forum.xda-developers.com – would anyone be able to direct me (and perhaps others) to a list of available kernels for our device? I'm noticing some devs building in argh kernel and it just doesn't seem to agree with my device the way it does with everyone else's :( . the stock cm10.1 kernel works great though. With argh I get terrible stutter and a screen tearing like crazy no matter the clock speed or the governer. Even in games the frame rate takes a dump. So I'd like to be able to try other roms but can't if argh is preinstalled. Thanks! Should be noted on my device pure performance seems to hit my launcher with s (HowTos)