Kernel.org: 4.11.2
sid (unstable): 4.9.25-1
stretch (testing): 4.9.25-1
jessie (stable): 3.16.43-2
wheezy (oldstable): 3.2.88-1

Debian GNU/Linux device driver check & report

PC Engines