Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision 085d973c11067c76c6bb3481033b2ba387555f4a)
+++ generic/src/cpu/cpu.c	(revision fcbca14f76ffc2811700a67ccdd44c7269ddbf0f)
@@ -54,5 +54,6 @@
 	if (config.cpu_active == 1) {
 	#endif /* CONFIG_SMP */
-		cpus = (cpu_t *) malloc(sizeof(cpu_t) * config.cpu_count);
+		cpus = (cpu_t *) malloc(sizeof(cpu_t) * config.cpu_count,
+					FRAME_ATOMIC);
 		if (!cpus)
 			panic("malloc/cpus");