Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 597fa246c9481b40ae4d512256c4ceea4506b215)
+++ kernel/generic/src/main/kinit.c	(revision a92290dc95a2fe71e0992996757525f60a6e062c)
@@ -108,6 +108,4 @@
 #ifdef CONFIG_SMP
 	if (config.cpu_count > 1) {
-		semaphore_initialize(&ap_completion_semaphore, 0);
-
 		/*
 		 * Create the kmp thread and wait for its completion.
Index: kernel/generic/src/smp/smp.c
===================================================================
--- kernel/generic/src/smp/smp.c	(revision 597fa246c9481b40ae4d512256c4ceea4506b215)
+++ kernel/generic/src/smp/smp.c	(revision a92290dc95a2fe71e0992996757525f60a6e062c)
@@ -39,5 +39,5 @@
 #ifdef CONFIG_SMP
 
-semaphore_t ap_completion_semaphore;
+SEMAPHORE_INITIALIZE(ap_completion_semaphore, 0);
 
 #endif /* CONFIG_SMP */