Linux kernel for Android for Samsung Galaxy S3