se non sbaglio una volta che flashi la rom il kernel è gia compreso all'interno... ma aspettiamo conferme dai più esperti :-)
comunque riporto la procedura come da istruzioni in prima pagina
Da Stock rom
Wipe data - cache - davilk cache
Format data - system - cache - preload
Flash rom
Wipe cache - davilk cache
reboot