Tudo depende da ROM que flashaste.
Se for uma 4.1.2 é um kernel, se for a 4.2 é outro.
No entanto e para teres recovery esse kernel devia dar.
Tenta flashar de novo.
Ou então outra versão .tar pois o que interessa é recuperar a recovery.
Podes tentar com o kernel Devil versão .tar também por ODIN, por vezes o semaphore não resulta.
jmcdpereira
Já tinha flashado 4.1.2 á meses, hoje vinha cá actualizar para uma nightly mais recente, e puff, do Devil são desta file directory? http://devil.haxer.org/i9000/