uti: Hook system calls by binary-patching glibc

(1) Add --enable-uti option. The binary-patch library is
    preloaded with this option.
(2) Binary-patching is done by syscall_intercept developed by Intel

This commit includes the following fixes:

(1) Fix do_exit() and terminate() handling
(2) Fix timing of killing mcexec threads when McKernel thread calls terminate()

Change-Id: Iad885e1e5540ed79f0808debd372463e3b8fecea

arch/x86_64/kernel/syscall.c

@@ -1369,6 +1369,7 @@ done:
 		return 0;
 	}
 
+	/* Forward signal to Linux by interrupt_syscall mechanism */
 	if (tthread->thread_offloaded) {
 		if (!tthread->proc->nohost) {
 			interrupt_syscall(tthread, sig);