Kernel source for Samsung Galaxy S3 DoCoMo