Desconozco si se puede hacer, ya que las roms stock vienen todas con su propio kernel y hasta donde he podido enterarme únicamente en ROMs modificadas es donde se puede cambiar el kernel, claro que para ello tienes que estar seguro que es compatible con tu Rom.
Trata de preguntarlo en algún post de desarrolladores o cocineros a lo mejor ellos te puedan guiar mejor que yo.
Enviado desde mi UMI_MAX mediante Tapatalk