Curiosamente, con la stock 4.0.3 le puse el setcpu para intentar subir la frecuencia, y me indicaba que iba a 1008 mhz. Me da que los 1.2ghz es lo maximo que se le da y lo venden asi, pero no lo comprueban. No depende de si tienes cyano instalado o no para tener esa velocidad.
Ah, una cosilla, el maximo ese que puse, 1156, es el maximo para poder trabajar sin reinicios constantes, pero no desaparecen del todo. Mejor dejarlo en 1008 o 1056
Saludos
Enviado desde mi Galaxy Nexus usando Tapatalk 2