,he estado leyendo por ahi , y efectivamente hay que cambiar el kernel por uno modificado que deje libre la opcion de subir la frecuencia del micro . Alguien sabe de donde sacar un kernel original pero que solo modifique esa opcion , quiero decir que lo que busco es tener el telefono como viene de fabrica y con la ultima actualizacion y tener esa opcion , mi telefono es un mk16i , version de android 4.0.4 , version de kernel 2.6.32.9-perf , numero de compilacion 4.1.b.0.587 .