En cuanto lo que es oficial o no os lo explico.
Oficial fuera china no hay nada ya que este no vende oficialmente del país.
En cuanto la diferencia entre miui.es/Xiaomi.es y Xiaomi.eu/miuiandroid es que hubo malos royos con las traducciones.
Segun miui.es le robaron trabajo. Que Xiaomi.eu le robo traducciones del español a miui.es.
Yo ahí no voy a entrar ya que todo esto es open suse o código abierto.