Kernel: support Debian version format

Signed-off-by: Eduardo Silva <eduardo@monkey.io>