Ah salido el primer kernel para ics, si lo quereis probar este es el enlace,
http://forum.xda-developers.com/show....php?t=1424345
Seguramente si teneis problemas con el mismo, ahora mismo la unica solucion seria reinstalar la rom encima, puesto que no hay ningun kernel de stock por hay.
La gente de momento en XDA comenta que les va bien.
Saludos