SGS4 kernel for AT&T, Sprint, T-Mobile, USC and Verizon