i777 kernel for use with Samsung JB ROMs