Por lo que yo sé, para actualizarlo a 4.0 de forma oficial simplemente utiliza el KIES. Cuando lo conectes te dirá si tienes alguna actualización disponible. Aquí tienes más info:
http://www.samsung.com/us/support/Su...3&fm_seq=53023
Yo lo hice y no tenía actualización porque mi modelo es el i927R, es decir, el de Rogers (Canadá). Si el tuyo es el i927, el de AT&T (USA), no deberías de tener problemas.