Kernel for Stock Samsung Jelly Bean 4.1.2.  Based on Kernel 3.0.31 from the Samsung source code.