Linux kbase 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt7-1 (2015-03-01) x86_64 GNU/Linux
have you tried with other kernels and/or check bios settings? Pol