Problema solucionado.
La verdad es que había intentado algo parecido antes de volver a la ROM anterior pero MrJyrks de XDA descubrió que si nos vamos a redes móviles e indicamos que busque automáticamente el operador, entonces funciona.
Yo, antes de hacer eso configuré el APN con mi operadora. Después hice lo indicado y, aunque me dió un error porque no se podía acceder a la red, voilà, apareció la señal GSM y después la de datos.
Ahora estoy probando esta nueva ROM...