pregunta ya esta es la actualización a Android pie para los redmi note 5 pregunto por el tamaño de la actualización?? tengo esa duda si no pudieran ayudar