if I do the xiaomi.eu on my Xiaomi Mi 10 Ultra do I get OTA updates MIUI 13 / 13.5 ? Or do I have to download and install it manually