Redmi Note 10 si aggiorna con le patch di dicembre 2022