Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 9a5b556abb26634c82cbd3954b0fdb4db62b828e)
+++ kernel/generic/src/cpu/cpu.c	(revision d7baee61b7e0ef91ce4828e0e32c18c917b49a87)
@@ -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];