En el backup que haces con CWM, solo lo hace de la rom. Tendrias que volver a instalar el
kernel stock
kernel 587
El kernel que mencionas es para JB (que yo sepa) hace un mes lo instale y devoraba bateria,
con las actualizaciones habra mejorado. Pero la stock no arrancara.
Mira los kernels para ICS a ver si te interesa alguno.
http://forum.xda-developers.com/show....php?t=1316394