Galaxy Note Pro 12.2 kernel source provided by samsung, with very slight modification by me