per caso sapete quando di preciso arriverà l'aggiornamento su redmi note 7?