Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 5df19638ae7b362a07b4f8c7b1647a3adcb53862)
+++ kernel/generic/src/proc/thread.c	(revision 1eaa3cf707e6d408ffe5c523ca554778716f5394)
@@ -192,7 +192,7 @@
 	kmflags &= ~FRAME_HIGHMEM;
 	
-	thread->kstack = (uint8_t *)
-	    PA2KA(frame_alloc(STACK_FRAMES, kmflags, STACK_SIZE - 1));
-	if (!thread->kstack) {
+	uintptr_t stack_phys =
+	    frame_alloc(STACK_FRAMES, kmflags, STACK_SIZE - 1);
+	if (!stack_phys) {
 #ifdef CONFIG_FPU
 		if (thread->saved_fpu_context)
@@ -201,4 +201,6 @@
 		return -1;
 	}
+	
+	thread->kstack = (uint8_t *) PA2KA(stack_phys);
 	
 #ifdef CONFIG_UDEBUG