¡Gracias por la pronta respuesta! Es decir, tendría que volver a la aplicación XiaomiTool e iniciar el proceso de desbloqueo y carga de ROM o con la aplicación oficial de Xiaomi (unlock.update.miui.com), ¿no?
Y una última pregunta... los que optáis por la Global en lugar de la Europea, ¿qué ventajas tiene una y la otra?
¡Mil gracias por todo! Ayudáis muchísimo a los que no tenemos mucha idea del tema.