Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision 1bb2e7a3ca385e067db5d9c4c5654c28f92af609)
+++ generic/src/cpu/cpu.c	(revision 2e9eae2bc030606ff48cccb46abe0afb51099458)
@@ -72,5 +72,5 @@
 
 		for (i=0; i < config.cpu_count; i++) {
-			cpus[i].stack = (__u8 *) PA2KA(PFN2ADDR(frame_alloc(STACK_FRAMES, FRAME_KA | FRAME_PANIC)));
+			cpus[i].stack = (__u8 *) frame_alloc(STACK_FRAMES, FRAME_KA | FRAME_PANIC);
 			
 			cpus[i].id = i;