Que pasó con el redmi 8 pro, acaso no va a haber actualización?