hay muchos kernels, unos vienen con OC y otros sin OC es decir a 1 ghz como debe ser.
Yo he probado un monton y todavia no he encontrado uno que gaste algo razonable con la ROM MIUI, todos gastan mas de la cuenta..
Ves probando hasta que encuentres uno adecuado
salu2