Otro más con la ROM de Orange cambiada a global. Me costó un poco ya que me volví loco para que el Xiaomitools me reconociera el dispositivo (pese a haber activado la depuración USB). Lo solucioné apagando y volviendo a encender el ordenador...solución infalible para los informáticos
Gracias por el tuto