Dubbio su cambio kernel

[jeckoo]

buongiorno sono nuovo
volevo chiedervi visto che tra poco compro un galaxy s da un mio amico , e volevo mettere prima il kernel semaphore e poi la cyanogenmod 7.1 ma se io in futuro voglio aggiornare alla cyanogenmod o un port di ics devo cambiare anche kernel? xkè ho visto kernel che sono fatti anche per ics e non sapevo se quando aggiorno devo prima flashare ics e poi mettere il kernel giusto oppure metter il kernel fatto per ics e poi mettere la rom..