Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision e3038b41e1f6e1ef905bbc80916933e18d3e3008)
+++ kernel/arch/ia32/src/ia32.c	(revision 49eb6818bdc4c8415ca4893642646cd5a99d5555)
@@ -139,5 +139,5 @@
 {
 #ifdef CONFIG_SMP
-        if (config.cpu_active > 1) {
+	if (config.cpu_active > 1) {
 		l_apic_init();
 		l_apic_debug();