Te recomiendo por propia experiencia SpeedMod o variantes como el Apolo, que encima está realizado por un compañero de aquí.
Mira este
enlace donde podrás ver todos los kernels compatibles con ICS, fíjate que ponga Sammy (para roms basadas en la stock de Samsung).
Si no tienes rooteado el móvil, mételo por Odin (archivo .tar), y ya lo tendrás rooteado, lo que pasa que te saldrá el triangulo amarillo, pero puedes eliminarlo con la aplicación Triangle Away.