Ti consiglio di fare una domanda alla volta sennò rischi di perdere la risposta.
Il kernel della guida se noti dice "un kernel" non il kernel. Quello era del firmware di maggio 2011...
Il tuo kernel forse lo trovi qui
http://forum.xda-developers.com/show....php?t=1075278
E devi vedere che kernel hai ora nelle info dispositivo
Inviato dal mio GT I9100 RESISTENTE ALL' ACQUA