Muchas gracias, Ferru.

Me ha funcionado: al descomprimir el zip sale, entre otras cosas, un archivo .vcf, el cual sí que es aceptado en el programa que sale en el portal Motorola, por lo que la importación ha sido un éxito.
Lo de ICS tampoco me cuadra, sin duda se debe a un bug o similar de la ROM que haga que en la información del teléfono salga como SO el 4.0.3.
Saludos.