Es un poco lioso... pero si que recuerdo que el Xperia ARC llevaba el kernel fuera de la ROM y te obligaba a flashearlo a parte, era un verdadero permaso... ademas, mirabas dentro del .zip de la ROM y no estaba el boot.img...
Volviendo al nuestro, claro, yo por ejemplo ahora tengo el kernel de KitKat que pusiste y con ese mismo kernel he probado una Carbon 4.4 y ahora estoy en la CM11 la mar de contento, pero el recovery no lo quita el kernel de la propia ROM... sigue el normal, ya no es el de Phil claro, ahora es el CWM que todos conocemos!