[pacose]

Yo tengo el kernel original y con el tegrak he podido hacer overclock, aunque también es verdad que con estabilidad sólo hasta 1.1, a 1.2 se me reinicia de vez en cuando, pero a 1.1 sin problemas.