Como dice elektra el miui toolbox va integrado en la versión MIUI v4 2.9.7 con Jelly Bean, desconozco si funciona en otras versiones, si quieres lo extraigo y haceis pruebas. El kernel overclock funciona con la MIUI v4 ICS, pero no con MIUI v4 JB. Y no lleva el idioma castellano esta vez.
