Kernel.org: 4.10.12
sid (unstable): 4.9.18-1
stretch (testing): 4.9.18-1
jessie (stable): 3.16.39-1+deb8u2
wheezy (oldstable): 3.2.86-1

Debian GNU/Linux device driver check & report

HP