Kernel source for Samsung Galaxy tab 2 GT-P31XX Devices