JB 4.2.x kernel for Samsung Galaxy S 3