Global dev versions are much better than miui.eu versions both the battery and performance, even mobile data connection is much worse. I checked on Mi5 and Redmi Note 4x Snapdragon.
Redmi Note 4 Snapdragon a disaster this version. I can not install from the SD theme card it terminates abnormally theme application.
On version 7.12.8 beta it works well.