Add kernel argument to turn on/off time sharing

Add "-T 0" to mcreboot.sh if you want to turn off time sharing.  When
it's turned off, McKernel doesn't activate interval timer when the
length of per-CPU run-queue is larger than one.

Change-Id: I2cedc1b30a9cd9a0f4608a32ecec0a0d58c6225e

kernel/init.c

@@ -168,6 +168,12 @@ static void parse_kargs(void)
 	if (ptr) {
 		allow_oversubscribe = 1;
 	}
+
+	/* time_sharing option */
+	ptr = find_command_line("time_sharing");
+	if (ptr) {
+		time_sharing = 1;
+	}
 }
 
 extern void ihk_mc_get_boot_time(unsigned long *tv_sec, unsigned long *tv_nsec);