Hay unos cuantos usuarios aquí en este foro, otros cuantos (bastantes) en xda, otros cuantos en el foro de habla inglesa de MIUI.....
Es una simple ota de 100mb aprox. Ha habido otras anteriormente y no vi tanta gente con este problema. Se supone que disponemos de un sistema de seguridad de particiones A/B. Han retirado la OTA.
Pero bueno, cada cual que piense lo que quiera.