Tras un mes, sin problemas.
Cómo no es mi móvil personal (es el de mi padre), no puedo daros muchos detalles. Creo que en ese móvil, la actualización es más de optimización interna que de otro tipo, aunque se agradece, que Xiaomi ha tenido un historial complicado en éste tema.