Kernel.org: 4.2
sid (unstable): 4.1.6-1
stretch (testing): 4.1.3-1
jessie (stable): 3.16.7-ckt11-1+deb8u3
wheezy-bpo: 3.16.7-ckt11-1+deb8u3~bpo70+1
wheezy (oldstable): 3.2.68-1+deb7u3

Debian GNU/Linux device driver check & report

Fujitsu: Genuine Intel(R) CPU T2400 @ 1.83GHz