Hi,
I installed the latest (?) rom for redmi 4 prime: xiaomi.eu_multi_HM4Pro_7.12.7_v9-6.0
What I noticed is that the audio recording bug is not fixed. I'll try the v2.1 fix from the miui forum.
Also, I can't get GPS position fixed. I tried switching the GPS configuration file but no luck so...