[mq]: core-v2

*** 70,80 ****
          save = curthread->t_pcb;
          (void) setjmp(&curthread->t_pcb);
  
          kern_idle[CPU->cpu_id] = 1;
          while (kern_idle[CPU->cpu_id])
!                 dumpsys_helper_nw();
  
          CPU->cpu_m.in_prom = 0;
          membar_stld();
  
          curthread->t_pcb = save;
--- 70,80 ----
          save = curthread->t_pcb;
          (void) setjmp(&curthread->t_pcb);
  
          kern_idle[CPU->cpu_id] = 1;
          while (kern_idle[CPU->cpu_id])
!                 /* SPIN */;
  
          CPU->cpu_m.in_prom = 0;
          membar_stld();
  
          curthread->t_pcb = save;