Redmi 10 si aggiorna con le patch di maggio 2022