Determine real version of kernel in Debian.