kernel samsung galaxy s3 i9300