Default [Q] Samsung Galaxy g4 4.4.2 .config needed

I am trying to fix an issue with our phones -> code.google.com/p/android/issues/detail?id=67406
I can successfully adb connect to the device but no where can I find a .config or a /proc/config.gz in order to get the running kernel parameters.
How can I get a hold of either the proper .config for a kernel recompile or an already compile image with the patch installed?
I see folks doing custom ROMs with the same galaxy, so I know it can be done.

galaxy s4 sgh-i337 4.4.2