get Linux kernel version from header