Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision 0132630e277cac256d68387347726af617f4270d)
+++ generic/src/cpu/cpu.c	(revision 214e89e396a9a2332bd3ffcd0a3fc259dfbafbc1)
@@ -62,5 +62,5 @@
 
 		for (i=0; i < config.cpu_count; i++) {
-			cpus[i].stack = (__u8 *) frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
+			cpus[i].stack = (__u8 *) frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME, NULL);
 			
 			cpus[i].id = i;