obtain_clone_cpuid(): always start from CPU 0 and fill in cores linearily

arch/x86/kernel/syscall.c

@@ -87,6 +87,9 @@ int obtain_clone_cpuid() {
 	struct ihk_mc_cpu_info *cpu_info = ihk_mc_get_cpu_info();
     int cpuid, nretry = 0;
     ihk_mc_spinlock_lock_noirq(&cpuid_head_lock);
+	
+	/* Always start from 0 to fill in LWK cores linearily */
+	cpuid_head = 0;
  retry:
     /* Try to obtain next physical core */
     cpuid = cpuid_head;

kernel/process.c

@@ -2325,7 +2325,7 @@ redo:
 		struct cpu_local_var *v;
 		struct cpu_local_var *cur_v;
 		struct process *proc_to_move = NULL;
-		int irqstate2;
+		unsigned long irqstate2;
 
 		irqstate = cpu_disable_interrupt_save();