Xiaomi 13 Lite e Redmi 10C si aggiornano con le patch di luglio 2023