Merge remote-tracking branch 'remotes/origin/ikc2'

Conflicts:
	executer/kernel/mcctrl/syscall.c
It is resolved.

arch/x86/tools/mcstop+release-smp-x86.sh.in

@@ -21,10 +21,12 @@ cpus=""
 if [ "`lsmod | grep ihk_smp_x86`" == "" ]; then exit 0; fi
 
 # Destroy all LWK instances
+if ls /dev/mcos* 1>/dev/null 2>&1; then
 for i in /dev/mcos*; do
 	ind=`echo $i|cut -c10-`;
     if ! ${SBINDIR}/ihkconfig 0 destroy $ind; then echo "error: destroying LWK instance $ind failed" >&2; exit 1; fi	
 done
+fi
 
 # Query IHK-SMP resources and release them
 if ! ${SBINDIR}/ihkconfig 0 query cpu > /dev/null; then echo "error: querying cpus" >&2; exit 1; fi