Lo que trataba de resaltar más que nada, es que el Redmi 4X (el motivo de este subforo) actualizará previsiblemente en Octubre.
No hay que darle más (ni tantas) vueltas.
Venga, saludos y lo que comentas, que venga la actualización sin los problemas habituales.