A mi no me daba reinicios mitools con miKo v10 y v11, eran pocas las cosas que me funcionaban... Pero lo de quitar las letras a los iconos si, que era lo que me interesaba principalmente. Al pasar a v12 estuvo un par de horas funcionando bien, pero a partir de ahí me empezó a dar reinicios esporádicos, así que nada, lo desistalé.
Lo que deberían de hacer los desarrolladores de miui es incluir esos "detalles" de personalización en la propia rom sin necesidad de incluir ningún módulo... Confío que con el tiempo se vayan agregando, pero ya sabemos como son, nos irán dando mijitas de pan... Saludos!