Te he contestado en el otro hilo pero lo copio y te lo pego aquí.
Eso es lo normal. Ahora se tendría que actualizar a la 4.0.2 y luego a ala actual 4.0.4.
Si se queda en la 4.0.2 es que no eres yakju y te tocaría seguir un tutorial del foro para convertirlo y así tenerlo actualuzado por Google.
Por cierto...alguien sabe si Samsung ya ha soltado la 4.0.4?? Si no fuese así se han columpiado un rato, no??
Saludos.