Stock Kernel for Samsung Touchwiz Roms