[Frank_T]

yo tampoco he encontrado el stock kernel, ósea que de momento esperare al feedback del hilo de xda, los valores de velocidad y voltaje se cambian con el setcpu, pero hay otros métodos y otras aplicaciones