Yo uso el programa HC-kTool te hace una imagen en la SD del kernel que llevas... luego se restara desde el mismo programa, no las originales samsung no falla, pero con estas a veces no lo restaura, pero se hace un par de veces y funciona, haced nandroid por si acaso..
