Xiaomi tan sólo pone problemas al pasar de una rom no oficial a la oficial y quieres bloquear de nuevo el bootloader. Si no lo bloqueas, puedes hacer lo que te de la gana. Puedes instalar Google Services en todos los terminales independientemente de su rom. Es más, la Mi Store (similar a la Play Store de Google) tiene un instalador oficial para los Servicios de Google.
Las xiaomi.eu van como un tiro. La Revolution lo desconozco.
La gente de xiaomi.eu actualizan sus roms hasta que Xiaomi dejan de actualizar la rom china. Mientras haya rom china actualizada, xiaomi.eu sigue actualizando sus roms también.
Las roms de xiaomi.eu van geniales.
Yo te recomiendo cuando recibas el movil empezar de cero e instalar una rom de xiaomi.eu. Para mi las mejores.
La versión que aparece en ese link como Global es para el Mi8 no para el Mi8 SE (nueva cagada de Xiaomi). La rom oficial es china/inglés. No hay otra rom oficial.
Saludos.