Best route for overclocking with CM10?

view story

http://forum.xda-developers.com – This is my first rooted device and I'd like to set the CPU frequency higher. I've read that 1600 is moderately safe and 1800 is feasible. After installing setcpu I've realized that CM10's kernel does not allow overclocking. What is the best action to take? Am I out of luck if I want to stick with CM10? Or is there another kernel I can use compatible with CM10? Thanks for reading. Sent from my SAMSUNG-SGH-I747 using xda app-developers app (HowTos)