Debian stable and kernel 3.8