Fix kernel version number when used with git repos