Kernel source code for the Samsung Galaxy S4 Google Play Edition