configure: --with-uname_r: optionally specify target kernel version string

configure

@@ -636,6 +636,7 @@ ETCDIR
 SBINDIR
 BINDIR
 TARGET
+UNAME_R
 KDIR
 ARCH
 EGREP
@@ -696,6 +697,7 @@ with_system_map
 enable_dcfa
 enable_memdump
 enable_mcoverlayfs
+with_uname_r
 '
       ac_precious_vars='build_alias
 host_alias
@@ -1328,6 +1330,8 @@ Optional Packages:
                           target, default is attached-mic
   --with-system_map=path  Path to 'System.map file', default is
                           /boot/System.map-uname_r
+  --with-uname_r=uname_r  Value of '`uname -r`' on the target platform,
+                          default is local value
 
 Some influential environment variables:
   CC          C compiler command
@@ -2112,6 +2116,21 @@ else
 fi
 
 
+
+# Check whether --with-uname_r was given.
+if test "${with_uname_r+set}" = set; then :
+  withval=$with_uname_r; WITH_UNAME_R=$withval
+else
+  WITH_UNAME_R=yes
+fi
+
+
+case "X$WITH_UNAME_R" in
+    Xyes | Xno | X)
+	WITH_UNAME_R='`uname -r`'
+	;;
+esac
+
 case "X$WITH_KERNELSRC" in
     Xyes | Xno | X)
 	WITH_KERNELSRC='/lib/modules/`uname -r`/build'
@@ -3049,6 +3068,7 @@ case $WITH_TARGET in
 esac
 
 KDIR="$WITH_KERNELSRC"
+UNAME_R="$WITH_UNAME_R"
 TARGET="$WITH_TARGET"
 
 MCCTRL_LINUX_SYMTAB=""
@@ -3914,6 +3934,7 @@ fi
 
 
 
+
 
 
 ac_config_headers="$ac_config_headers executer/config.h"