mcreboot: -h to indicate halting CPU in idle threads (e.g., in futex_wait())

kernel/init.c

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