I checked again and it seems like I am still running the old kernel version:
$ uname -a Linux xxx 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt25-1 (2016-03-06) x86_64 GNU/Linux So I guess this is not an issue with the kernel itself but rather with my boot setup. So I guess this report can be closed. tobias -- Tobias Bengfort - Liquid Democracy e.V. gpg --recv-keys --keyserver hkp://subkeys.pgp.net 0x9BEF93DD
signature.asc
Description: OpenPGP digital signature