Added support for Debian backport kernel version

For ex.: 3.14-0.bpo.1-amd64