Add check to confirm IHK and McKernel with the same version are used

arch/x86_64/tools/mcreboot-smp-x86.sh.in

@@ -19,6 +19,7 @@ ETCDIR=@ETCDIR@
 KMODDIR="${prefix}/kmod"
 KERNDIR="${prefix}/@TARGET@/kernel"
 ENABLE_MCOVERLAYFS="@ENABLE_MCOVERLAYFS@"
+MCK_BUILDID=@BUILDID@
 
 mem="512M@0"
 cpus=""
@@ -361,6 +362,13 @@ if ! grep mcctrl /proc/modules &>/dev/null; then
 	fi
 fi
 
+# Check that different versions of binaries/scripts are not mixed
+IHK_BUILDID=`${SBINDIR}/ihkconfig 0 get buildid`
+if [  "${IHK_BUILDID}" != "${MCK_BUILDID}" ]; then
+	echo "IHK build-id (${IHK_BUILDID}) didn't match McKernel build-id (${MCK_BUILDID})." >&2
+	exit 1
+fi
+
 # Destroy all LWK instances
 if ls /dev/mcos* 1>/dev/null 2>&1; then
 	for i in /dev/mcos*; do