For Redmi 4x (HM4X) all works fine in general.
Only too issues found sofar:
a) Notification colors in settings not fit to reality :)
b) Baseband ist not coming up poperly always to next higher standard, after falling down. E.g. if set to "4G perfered" and falling down to 2G, when the network is...