Update to JB 4.1.2 Samsung kernel source for Galaxy Reverb device.