Efectivamente, cada rom ya viene con un kernel, y cuando instalas una nueva rom, cambias tb el kernel. Lo que puede pasar es que 2 roms diferentes tengan el mismo kernel. Otra opción tb sería instalar un kernel independiente de la rom. Peroesto podrían dejar el sistema inestable si el kernel no va ok.
saludos