Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision 0160b1c819f587fd17ea9ba55883dba10a3e4036)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
@@ -60,12 +60,12 @@
 	uintptr_t kstk = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE -
 	    SP_DELTA];
-
+	
 	/* Set kernel stack for CP3 -> CPL0 switch via SYSENTER */
 	write_msr(IA32_MSR_SYSENTER_ESP, kstk);
-
+	
 	/* Set kernel stack for CPL3 -> CPL0 switch via interrupt */
 	CPU->arch.tss->esp0 = kstk;
 	CPU->arch.tss->ss0 = gdtselector(KDATA_DES);
-
+	
 	/* Set up TLS in GS register */
 	set_tls_desc(THREAD->arch.tls);