Post consecutivi uniti.
Differenze enormi non ce ne sono, se non come hai detto tu gli OTA e una migliore localizzazione generale (traduzioni) per la ROM di xiaomi.eu.
Prova a scaricarlo in rete allora, io ho cercato al volo e ho trovato questo: New Google Installer For MIUI MM Beta and Marshmallow Roms - Xiaomi Mi 4 - Xiaomi MIUI Official Forum