Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision 0c1a5d8afc92defd6f72d5e63c28c60152e3d46b)
+++ 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),