Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision e0a4686ebb68dd7d42dd083c5ea6c37d6ced027d)
@@ -59,5 +59,5 @@
 {
 	uintptr_t kstk = (uintptr_t) &THREAD->kstack[STACK_SIZE];
-	
+
 #ifndef PROCESSOR_i486
 	if (CPU->arch.fi.bits.sep) {
@@ -66,5 +66,5 @@
 	}
 #endif
-	
+
 	/* Set kernel stack for CPL3 -> CPL0 switch via interrupt */
 	CPU->arch.tss->esp0 = kstk;