Android JB 4.3 kernel for the international Samsung GT-I9300 (GalaxyS3).