Hey guys, I've been trying to google this all evening but I cant find any of the right answers 
I've got a rooted GSM Galaxy Nexus and have tried 2 roms but have come to the conclusion that i'd like to stay in stock.
Is there a kernel that makes me able to overclock my CPU to 1350mhz without having to install a rom?

I've got a rooted GSM Galaxy Nexus and have tried 2 roms but have come to the conclusion that i'd like to stay in stock.
Is there a kernel that makes me able to overclock my CPU to 1350mhz without having to install a rom?