'https://www.google.com/amp/s/es.gizchina.it/2021/11/miui-12-5-global-eea-estable-xiaomi-redmi-descargar/amp/'
Hai lo tienes, dos opciones. Una pequeña (Pocos MB), para actualizar desde la v15.4 y otra para actualizar la ROM entera por si no tienes la v. , correcta