primero, estas en GB o en ICS??
si estas en GB y necesitas una stock, la stock es la ROM, por lo que tendras que meter un .KDZ
En ICS, no podras, por que todavia no hay rom Stock.
Pero por lo general, para meter un Kernel, no tendras mas que instalarlo desde el recovery (eso si, si es de GB en GB y si es de ICS en ICS)
u saludo