Ich bin bei meinem Redmi Note 2 Prime einfach besser mit den Roms von xiaomi.EU zurechtgekommen, einfach weil sie - zumindest damals - stabil liefen und weniger chinesische bloatware dabei war. Dazu kommt, dass ich gerne Root access hätte (haben die originalen Developer Roms noch Root? Edit: nur die China Developer).
Auf meinem soll wohl noch MIUI 7.5 laufen (steht zumindest in der Beschreibung vom Händler).
Aber werde sonst wohl die 6.9.2 installieren und bei den originalen bleiben
Und nur nochmal zur Sicherheit: Die Redmi 3S Pro Roms sind auch für die Internationale Version des 3S Pro geeignet, richtig?