Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision 0132630e277cac256d68387347726af617f4270d)
+++ generic/src/cpu/cpu.c	(revision e30bc2ac12da5ebc472a19cd029b886c68a7a914)
@@ -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;