Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 2f2beb4545e75c18005ac34da7aad5e5290e68ee)
+++ kernel/generic/src/proc/thread.c	(revision 54dee31681547ea4dfda5970a8a18590cec8441c)
@@ -192,5 +192,6 @@
 	kmflags &= ~FRAME_HIGHMEM;
 	
-	thread->kstack = (uint8_t *) frame_alloc(STACK_FRAMES, FRAME_KA | kmflags);
+	thread->kstack = (uint8_t *)
+	    PA2KA(frame_alloc(STACK_FRAMES, kmflags, 0));
 	if (!thread->kstack) {
 #ifdef CONFIG_FPU