Me uno a la pregunta. Al final cómo se solucionó el problema?
En teoría el móvil debería poder ser detectado en modo fastboot y desde ahí usar la Flash Tool para meter una ROM oficial. Si no es así vendría muy bien la información por si a alguno de nosotros nos ocurre.
Un saludo.