AOSP kernel for T999 aka d2tmo aka T-mobile S3