Eso. Dejar claro que hay 3 roms oficiales:
La China.
La Global.
La Europea (que viene a ser idéntica a la global, adaptándola en ciertos aspectos a la legalidad de la Unión Europea).
Y luego está la Xiaomi.EU, no confundir con la Europea. La Xiaomi.EU es una rom NO OFICIAL, una modificación de la China.