Kernel source for Samsung Galaxy S4 variants (jflte)