Creo que hay que flashear.
Y diría que da igual. La actualización es la misma.
Que lleve números distintos da igual. De normal, xiaomi lleva una numeración para las versiones globales y otra para las europeas, pero las actualizaciones llegan a la vez (a veces con una o dos semanas de diferencia, pero ya está).
La principal diferencia entre la global y la europea son más bien cosas legales para adaptarla a la legislación de la Unión Europea. No encontrarás ningún cambio significativo.