i think it flashes whatever kernel is in the ROM you're flashing but I may be mistaken
ie. you flash virtuous, it includes the stock virtuous kernel sort of thing....then you can upgrade your kernel, I know there is an alternative kernel for virtuous in ROM manager
backup before you flash a new kernel