i777 JB kernel for use on Samsung JB ROMs