Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 481a93802d81dde4f916ea51d4006f6803f95b75)
+++ kernel/generic/src/cpu/cpu.c	(revision a60e90b77be0a223cc67fdf941b5d620622260c6)
@@ -73,6 +73,6 @@
 		size_t i;
 		for (i = 0; i < config.cpu_count; i++) {
-			cpus[i].stack = (uint8_t *) frame_alloc(STACK_FRAMES,
-			    FRAME_LOWMEM | FRAME_KA | FRAME_ATOMIC);
+			cpus[i].stack = (uint8_t *) PA2KA(frame_alloc(STACK_FRAMES,
+			    FRAME_LOWMEM | FRAME_ATOMIC, 0));
 			cpus[i].id = i;