Using Redmi Note 5 Pro AI, I updated from MIUI Global 9.x Stable --> EU MIUI 8.7.12 V2 and everything was perfect except the whatsapp bug (double notification tone for a single message).
I unlocked officially (360 hour wait), latest official TWRP, magisk 16 etc. and made a backup of the 8.7.12...