Richtig, man kann mit dem Flashtool alle Roms flashen, sofern das entsprechende Rom auch als Fastboot Rom verfügbar ist.
Da spielt das vorher installierte Rom keine Rolle. Allerdings! Xiaomi.eu Roms müssen, da sie nur als Zip angeboten werden, über die TWRP geflasht werden.
Und dazu muss man halt den Bootloader entsperren.
Edit:
Ups! Verfügbar sind zwar schon, aber meist modifiziert. Auch wenn der Mod sich wie in diesem Fall nur auf Root bezieht.
=> http://en.miui.com/thread-226417-1-1.html