Bueno me respondo mas o menos. He instalado el twrp, puesto que ya tenia el bootloader desbloqueado. He instalado una miui 8.5 , con bastantes problemas por el tema de las particiones, y luego he probado a meterle la miui 9 de este hilo, del post num 36. Ahora me ha pillado una ota y la ha cargado por twrp. Por lo tanto ya me vale así.