Kernel.org: 4.9.5
sid (unstable): 4.9.2-2
stretch (testing): 4.8.15-2
jessie (stable): 3.16.39-1
wheezy (oldstable): 3.2.84-1

Debian GNU/Linux device driver check & report

Galaxy