Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 2f2beb4545e75c18005ac34da7aad5e5290e68ee)
+++ kernel/generic/src/proc/thread.c	(revision 5b08d7506fa0a7bbf6c9ccbfd674f4bca498b5b1)
@@ -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