Te pasó como a mí, no sabía dónde ni cuándo meter el kernel, está incluido en el Zip de ICS en GB así que no te preocupes por eso que al instalar el Zip te mete el kernel también. Pero como ya dijo jsevi en el post NO cambiéis el kernel después o dará problemas la rom.