Hi With my Xiaomi MI NOTE 10 Lite an update came today 12.5.7.0 RFNMIXM but I can't find this update here. What should I do? Anyone know anything more? thank you.. Or should I download that, but then my Xiaomi.eu Rom is gone, right?