Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 9a5b556abb26634c82cbd3954b0fdb4db62b828e)
+++ kernel/generic/src/cpu/cpu.c	(revision c738d657d3d585f90fca437b475d4589b00e50be)
@@ -60,7 +60,7 @@
 	int i, j;
 	
-	#ifdef CONFIG_SMP
+#ifdef CONFIG_SMP
 	if (config.cpu_active == 1) {
-	#endif /* CONFIG_SMP */
+#endif /* CONFIG_SMP */
 		cpus = (cpu_t *) malloc(sizeof(cpu_t) * config.cpu_count,
 					FRAME_ATOMIC);
@@ -84,7 +84,7 @@
 		}
 		
-	#ifdef CONFIG_SMP
+#ifdef CONFIG_SMP
 	}
-	#endif /* CONFIG_SMP */
+#endif /* CONFIG_SMP */
 
 	CPU = &cpus[config.cpu_active-1];