Base JB kernel from Samsung for the i747