Kernel source for the Samsung Galaxy Reverb