AJK kernel for the SGH-I777