Allora, la versione che hai detto è quella giusta. Per il kernel basta metterlo nella sd e dalla recovery fare "install zip from sd card", scegliere il file (in questo caso il kernel) e poi dare ok.
Al completamento riavvia il cellulare
Ps: ovviamente fallo dopo aver flashato la rom
»lotfix on Tapatalk