Detect new Debian distro kernels correctly (closes Debian Bug#697330 by Timo Weingärtner).