@
sargonet: sí, el kernel no es más que unos cuantos archivos (librerías) que van a /system y una imagen de inicio que se flashea (boot.img). Al instalar una ROM, haces, entre otras cosas, 2: borrar toda la partición SYSTEM y flashear otra imagen de inicio, así que sí, es necesario flashear el kernel cada vez que flashees la ROM.
PD: me gusta tu firma
Un saludo, y esperando a mañana para acabar bien el año!