Para la 4.0.x no hace falta que le cambies de kernel, ya que cualquier rom quw instales viene con su kernel.
Esi si, salvo que quieras poner una stock 4.0.4, que son las que tienen problemas de brick, y es mejor cambiarle el kernel por ubo que solucione el problema, como el de siyah, e instalandolo por odin.
Saludos
Enviado desde mi GT-I9100 usando Tapatalk 2