diff --git a/kernel/main.c b/kernel/main.c
index 6a8f42430..d0585d83f 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -47,7 +47,7 @@ void bsp_finish_booting(void)
 #endif /* SPROFILE */
   cprof_procs_no = 0;  /* init nr of hash table slots used */
 
-  cpu_identify();
+  cpu_identify()
 
   vm_running = 0;
   krandom.random_sources = RANDOM_SOURCES;