Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
+++ generic/src/cpu/cpu.c	(revision feb591542e4fa58338e860762452d6177fd96176)
@@ -62,6 +62,4 @@
 		for (i=0; i < config.cpu_count; i++) {
 			cpus[i].stack = (__u8 *) frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
-			if (!cpus[i].stack)
-				panic("malloc/cpus[%d].stack\n", i);
 			
 			cpus[i].id = i;