AJK kernel for the AT&T SGH-I777 variant of the Samsung Galaxy SII