Más pruebas, al Galaxy Mini sí lo reconoce en modo Download, es más, mientras busca el dispositico en un momento dado aparece "odin" en vez de SAMSUNG Mobile Modem #2. Un modem es un dispositivo muy parecido a un CDC.
El hecho de aparezca "odin" en un caso y no en otro, además de que acabe como Mobile Modem en vez de CDC me hace sospechar que no coge el driver correcto.