Bueno, he hecho la prueba al contrario. Partiendo del ICS oficial de mi operador, (tras el correspondiente rooteo, instalación de CWM y backup), modifiqué el build.prop para tratar de obtener el ICS iberia despersonalizado, mediante reparación en PC Companion.
Como dices, seguramente conservaba la información anterior, así que me conservó la versión personalizada del operador.
A continuación he flasheado la 0.42 genérica (no iberia) que hay en el foro con flashtool. La he rooteado con flashtool y he cambiado el build.prop a la versión iberia. He actualizado con el SEUS directamente a ICS y ahora tengo ICS iberia.
En resumen. El cambio de los números funciona. Estaría muy bien recopilar un hilo con todos los CDA conocidos de forma que cualquiera pueda actualizar al firmware de su operador o despersonalizar a voluntad.