Stock modded kernel sgs3