Uno de los móviles Xiaomi más populares de los últimos años ya está recibiendo la actualización a HyperOS
