Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision c8cd9a87c0d92113f6ee42360d37e17847cbdef9)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision 63bdde6072c93fc1db96f29f60b3619f8f7cad53)
@@ -38,5 +38,4 @@
 #include <proc/thread.h>
 #include <arch.h>
-#include <arch/context.h>  /* SP_DELTA */
 #include <arch/interrupt.h>
 #include <arch/pm.h>
@@ -59,6 +58,5 @@
 void before_thread_runs_arch(void)
 {
-	uintptr_t kstk = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE -
-	    SP_DELTA];
+	uintptr_t kstk = (uintptr_t) &THREAD->kstack[THREAD_STACK_SIZE];
 	
 	if (CPU->arch.fi.bits.sep) {