Hola. Hasta donde sé, ninguna 7.1.9.x.x es oficial de xiaomi. Son todas de las tiendas (adaptaciones sobre la oficial, para incluirle idiomas distintos al chino/inglés, quitar/poner algunas apps, etc.).
Ninguna de estas versiones es compatible con OTA updates, por lo que no recibirán las actualizaciones del fabricante.
Mi consejo es que sigas el tuto de @
Gasolution y te pases a la 7.1.8.0 oficial y global, que va muy bien, con el valor añadido de que recibirás las actualizaciones vía OTA (ahora ya está llegando a los terminales la 7.2.3.0 que puedes seguir por
AQUÍ).