get kernel version from /usr/src/linux