What about miui 11 update for redmi 4...?