Para instalar la versión original de ICS, vaya a https://developers.google.com/Android/nexus/images y elige tu dispositivo (el mío, por ejemplo, un Nexus S estadounidense que funciona con T-Mobile, es https://developers.google.com/Android/nexus/images#sojuimm76d ), descargue el archivo y, a continuación, descargue el sorprendentemente no muy grande SDK de Android desde http://developer.Android.com/sdk/index.html . Ejecuta el gestor de sdk (se llama "tools/Android") que abrirá una GUI; asegúrate de que "Android SDK" y "Android SDK Platform Tools" están marcados. Puedes desmarcar otras casillas, ya que esas descargarán cosas muy grandes que no necesitas.
Una vez que tengas todo eso, sigue las instrucciones del tarball que descargaste por primera vez; a grandes rasgos, quieres poner el directorio "platform tools" del sdk en tu PATH, apaga tu teléfono, luego mantén la tecla de encendido y vuelve a encenderlo (eso hará que muestre la pantalla de inicio de Sekrit); y luego en tu ordenador ejecuta "fastboot oem unlock" y luego "flash-all.sh".
He hecho esto dos veces en los últimos días (por diversión :-) y aunque puede parecer complicado, en realidad es bastante fácil y funcionó bien. (He instalado 2.3.6 sólo por la nostalgia de la misma y luego instalado Cyanogenmod y luego volvió a stock 4.0.4).