encontre unA funcion bastante util para el tema de los kernels . si tienes dual boot, ingresan al recovery twrp// backup// y tilda la casilla kernel image, y hacen un backup del kernel que usan actualmente, ya para cuando flasheen otra rom, poder reestablecer el kernel. probad a ver si va