Index: arch/ia32/src/proc/scheduler.c
===================================================================
--- arch/ia32/src/proc/scheduler.c	(revision 00e00fa7b44f51a7cd797dfe094651c497f309f3)
+++ arch/ia32/src/proc/scheduler.c	(revision bcdd9aaa2b06e0698f837f3dd463b72dbb23dfb9)
@@ -31,8 +31,9 @@
 #include <proc/thread.h>
 #include <arch.h>
+#include <arch/context.h>	/* SP_DELTA */
 
 void before_thread_runs_arch(void)
 {
-	CPU->arch.tss->esp0 = (__address) &THREAD->kstack[THREAD_STACK_SIZE-8];
+	CPU->arch.tss->esp0 = (__address) &THREAD->kstack[THREAD_STACK_SIZE-SP_DELTA];
 	CPU->arch.tss->ss0 = selector(KDATA_DES);
 }