Detect new Debian distro kernels correctly (closes Debian Bug#697330).