Verizon GS3 kernel