Se guardi qui c'è anche il kat kernel in versione per JB 4.2:
[Kernel] [JB4.1-4.2.x] KatKernel #69 + #70_Lidpatch - OC | UV | CIFS | IPTABLES | TUN - xda-developers
Mi pare che sia compatibile con la rom EOS4 jb 4.2, non so se anche con quella nuova di raymanfx.
Basta leggere tale thread per chi è interessato.