Gracias a este foro he probado las siguientes ROM con Android 4.0.3:
. Novo 7 ess_elf: No funciona, página en blanco con rayitas.
. Original de Yarvik: funciona pero no tiene el google play.
. Qware pro 3: funciona, pero algunas aplicaciones responden con "proceso detenido". También tiene un comportamiento extraño (una aplicación necesita un fichero a importar de la sdcard y no la encuentra, aunque esta, ni en sdcard ni en ext card, ?.
Por esto quisiera volver para atrás ¿alguién sabe cómo?.
De todas formas me estoy descargando la de Primux Bora 7, a ver si tengo más suerte.