Pues hazlo, estaría bien hecho.
Son webs dadas al igual que otras, y si te fijas son de los servidores de Xiaomi.
Aunque es verdad y me ha llegado a pasar con modelos anteriores, de qué si no la descargo de la misma web de Xiaomi, me pasaba similar a que no me dejaba, en un principio es raro, no sé qué detecta, pero en este caso con las Xiaomi EU bajada del 1er enlace, no he tenido problemas.
Soy de dar enlaces de la misma webs de Xiaomi, pero como actualizan retiran las anteriores versiones, y no sé si por algún lado de podrá buscar lo anterior, pero normalmente siempre se dan de webs de éste tipo que conservan en general todas las versiones lanzadas de todos o casi todos los modelos.