Atualização traz o Android 10 para o Redmi 7 Global, mas MIUI se mantém na versão 1123 de dezembro de 2020