SGS 4 kernel for AT&T TMO, Sprint and Verizon