Kernel source for Galaxy S4 4.4.2 Google Edition