Kernel: new interface to query Linux Kernel version.

This patch implements two things:

  1. Macro MK_KERNEL_VERSION() to return an unique representative integer
     of the Linux Kernel version given the 3 common values.
  2. Function mk_kernel_version() that returns the Kernel version from
     the running system.

Signed-off-by: Eduardo Silva <edsiper@gmail.com>