Fix for SPROFILE == 0

- contributed by Antoine Leca

kernel/proc.c

@@ -222,6 +222,9 @@ PRIVATE void idle(void)
 
 	/* start accounting for the idle time */
 	context_stop(proc_addr(KERNEL));
+#if !SPROFILE
+	halt_cpu();
+#else
 	if (!sprofiling)
 		halt_cpu();
 	else {
@@ -234,6 +237,7 @@ PRIVATE void idle(void)
 		interrupts_disable();
 		*v = 0;
 	}
+#endif
 	/*
 	 * end of accounting for the idle task does not happen here, the kernel
 	 * is handling stuff for quite a while before it gets back here!