Efectivamente ya hay un kernel con overclock y al parecer a varios miembros del foro XDA les ha funcionado y no se reportan lags o bugs hasta el momento. Solo se aplica si tiene el bootloader desbloqueado y una rom ICS .54 el kernel se flashea con fastboot.
Más info en el siguiente foro de XDA:
http://forum.xda-developers.com/show....php?t=2089032