El kernel oficial lo sacas del archivo ftf ... abres el FTF de la actualización en cuestión con el winrar por ejemplo, extraes el archivo ¨kernel.sin¨, y lo flasheas con el fastboot con el comando: ¨fastboot flash boot kernel.sin¨....
Y listo, ya tienes el kernel oficial otra vez.