Eso es extremadamente raro. No obstante, ¿no te ibas a cambiar a .eu?
Respecto a lo que dices de Xiaomi, no me extraña tu opinión y aunque sea una auténtica solución, tampoco es lógico tenerse que pasar a una "custom" rom (como es la .eu) para disfrutar del dispositivo.
