Finalmente he descargado la rom desde el móvil y la he pasado directamente al pen drive. Parece ser que era problema del ordenador que no descargaba bien el archivo.
Muchas gracias.
Una última pregunta. Le he puesto 9.1.24 que es la que aparece la primera en la lista Xiaomi.eu. pero ¿qué diferencia hay con la STABLE RELEASE que aparece con el cuadrito azul?