Samsung n8000 (Galaxy Note 10.1) kernel source releases, in git repo form for easy diffing/blaming