SGS4 kernel for AT&T