Stock kernel for JLS36C(Deb)

[Alcibiade]

I have been looking around for the JLS36C stock kernel (In order to upgrade OTA...) But couldn't find it
Obviously I can extract it from the factory image ad push it from my PC but if anybody had a TWRP flashable version I would gain a bit of time if anybody has it around his desk...
Thanks