stock kernel source for gt-i8160