customer kernel for galaxy s3 verizon