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