I have Redmi Note 10 Pro. I have installed Xiaomi.EU and noticed that it is very lagging compared to the official global. What can be done about it?