Hola, solo hay que usar el buscador un poco, aqui te paso el kernel para tu version.
Tienes que meterlo en una sd externa, no se porque pero a mi en la interna el recovery stock no me dbaa la opcion, asi que lo metes en sd externa, entras en recovery (stock) y lo flasheas desde alli
http://d-h.st/III
sl2