It's not on Github at least: https://github.com/omnirom/android_kernel_samsung_smdk4412/commits/android-4.4
I have just applied the patches from post #833 (thanks zeitferne). Built the kernel (actually the whole ROM, because I don't know how to build specifically the kernel inside omni), flashed and running it. The FPBug test is running for a couple of minutes now, so far so good.
I can upload the CWM/TWRP flashable kernel, if anyone is interested. I also took the liberty of creating a pull-request: https://github.com/omnirom/android_kernel_samsung_smdk4412/pull/3