Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 4e147a6b5728fbdb666c31b993900fd3d6681518)
+++ generic/src/main/main.c	(revision e22f561ccf4fd2d78271eadc31f7b700e9256a2a)
@@ -164,5 +164,4 @@
 	page_init();
 	tlb_init();
-	slab_cache_init();
 	arch_post_mm_init();
 
@@ -174,4 +173,7 @@
 	arch_pre_smp_init();
 	smp_init();
+	/* Slab must be initialized AFTER we know the number of processors */
+	slab_cache_init();
+
 	printf("config.memory_size=%dM\n", config.memory_size/(1024*1024));
 	printf("config.cpu_count=%d\n", config.cpu_count);