Fixing Android settings on Xiaomi devices

For Xiaomi phones, branded as “Redmi”.

Two things need to be done: