Index: kernel/arch/ia32/src/smp/ap.S
===================================================================
--- kernel/arch/ia32/src/smp/ap.S	(revision 0637ddb37d7e3d5dd0479648840f57e5a3cce14a)
+++ kernel/arch/ia32/src/smp/ap.S	(revision 3f4c537add23029a5ff0978f39e4b08469b25e68)
@@ -75,7 +75,7 @@
 	movw %ax, %es
 	movw %ax, %ss
-	movl $KA2PA(ctx), %eax		/* KA2PA((uintptr_t) &ctx) */
+	movl $KA2PA(ctx), %eax          /* KA2PA((uintptr_t) &ctx) */
 	movl CONTEXT_OFFSET_SP(%eax), %esp
-	leal KA2PA(0)(%esp), %esp	/* KA2PA(ctx.sp) */
+	leal KA2PA(0)(%esp), %esp       /* KA2PA(ctx.sp) */
 
 	/*
@@ -85,5 +85,5 @@
 	call map_kernel_pse
 	
-	addl $PA2KA(0), %esp		/* PA2KA(ctx.sp) */
+	addl $PA2KA(0), %esp            /* PA2KA(ctx.sp) */
 	
 	/* create the first stack frame */