Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision 328f2934a2a54acf4fd30f747291bf5e58f9d7a2)
+++ generic/src/cpu/cpu.c	(revision 36e7b6c324186726ec258e6d341ad12966be7c96)
@@ -61,5 +61,5 @@
 
 		for (i=0; i < config.cpu_count; i++) {
-			cpus[i].stack = (__u8 *) frame_alloc(FRAME_KA | FRAME_PANIC,0);
+			cpus[i].stack = (__u8 *) frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
 			if (!cpus[i].stack)
 				panic("malloc/cpus[%d].stack\n", i);