And BTW, a tip regarding to updating Xiaomi.eu
I do with APatch, but similarly should work with Magisk (yeah, long ago when using Magisk I did similarly)
Download Xiaomi.eu, unzip, find boot.img (nowadays it's in the Images folder), copy the boot.img out and upload to the phone.
Or, I download...