sinceramente non capisco a cosa ti serva il kernel se ho già detto tante volte che il kernel resta quello originale...comunque sia, ti consiglio di seguire la mia guida su come installare con odin tutto il pacchetto stock (kernel, rom, bootloader, pda, modem e csc) che trovavi in evidenza.. vai qui