Ich habe mir diese drauf gemacht, nach obiger Anleitung:
http://en.miui.com/a-234.html und dann diese rausgesucht : ★ Redmi 4X Latest Global Stable Version Fastboot File Download
Damit hat es funktioniert. Als Flashtool habe ich die neueste Version von hier genommen:
Das ganze auf einem 64 bit Windows 10 Rechner.
Mittlerweile habe ich die neuste Xiaomi.eu Rom mit Magisk Root drauf.