Only thing I can say about xiaomi.eu roms for markw - they sucks! I almost killed my two phones. So I get back to official global ROM, 8.2.4.0 as far as I remember, and everything works fine.
Miui9, don't be silly, you can wait as long as your phones turn into a crap.