SGS4 Kernel for AT&T Variant