Pues me da a mi que la primera oficial sera una 4.0.1
Mi hermano tiene el galaxy nexus y aun no le llego la actualización 4.0.2 ni la 4.0.3, esto va despacio..
Lo mismo paso con ginger que comenzo 2.3.0 2.3.3 2.3.4 etccc
Lo importante es que salga una beta con drivers de samsung y se mejorara con el tiempo
