when is the update out for other versions such as the redmi note 8