Decir que lo que hay en la pagina de Google de v4.0.3 son los binarios, es decir, los drivers. Estos se proveen para que se puedan hacer ROMs y contar con los drivers de todas las partes del dispositivo.
La rom de Google de la 4.0.3 oficial todavía no esta publicada.
Fijaros que las roms están en la parte de abajo del menú lateral, y solo para el GN.
Sent from my Galaxy Nexus using Forum Runner