Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision c27c988cab02c1a8170e26cd226fd6f2d264a3d1)
+++ kernel/arch/ia32/src/userspace.c	(revision b1349e0e6dd0ceaac24eaa1e363afe9e5d81fffc)
@@ -73,5 +73,5 @@
 		"iret\n"
 		: 
-		: "i" (selector(UDATA_DES) | PL_USER), "r" (kernel_uarg->uspace_stack+THREAD_STACK_SIZE),
+		: "i" (selector(UDATA_DES) | PL_USER), "r" ((uint8_t *) kernel_uarg->uspace_stack + THREAD_STACK_SIZE),
 		  "r" (ipl), "i" (selector(UTEXT_DES) | PL_USER), "r" (kernel_uarg->uspace_entry),
 		"r" (kernel_uarg->uspace_uarg),