Checking kernel.release version for Debian updated