Good Morning,
I had the same problem that you mention above in my case on a Redmi Note 9 Pro (joyeuse) with the MIUI 12.0 STABLE RELEASE rom. I'm just writing to say thanks, the patch worked when I was about to change the rom that I love.
In my case the process was the following:
1) I...