Buenas, he metido este kernel pero aun asi no me permite hacer overclock al dispositivo, lo maximo que me permite es 832mhz. No se si hay algun punto que no hago o que debo hacer algo mas aparte de instalar el kernel. A ver si alguien me puede explicar un poco el tema.