diff --git a/sys/platform/vkernel/platform/init.c b/sys/platform/vkernel/platform/init.c
index 7e49187..67051c9 100644
--- a/sys/platform/vkernel/platform/init.c
+++ b/sys/platform/vkernel/platform/init.c
@@ -678,6 +678,13 @@ init_vkernel(void)
 	lwp0.lwp_md.md_regs = &proc0_tf;
 
 	/*init_locks();*/
+#ifdef SMP
+	/*
+	 * Get the initial mplock with a count of 1 for the BSP.
+	 * This uses a LOGICAL cpu ID, ie BSP == 0.
+	 */
+	cpu_get_initial_mplock();
+#endif
 	cninit();
 	rand_initialize();
 #if 0	/* #ifdef DDB */
diff --git a/sys/platform/vkernel64/platform/init.c b/sys/platform/vkernel64/platform/init.c
index 7218859..c70618a 100644
--- a/sys/platform/vkernel64/platform/init.c
+++ b/sys/platform/vkernel64/platform/init.c
@@ -641,6 +641,13 @@ init_vkernel(void)
 	lwp0.lwp_md.md_regs = &proc0_tf;
 
 	/*init_locks();*/
+#ifdef SMP
+	/*
+	 * Get the initial mplock with a count of 1 for the BSP.
+	 * This uses a LOGICAL cpu ID, ie BSP == 0.
+	 */
+	cpu_get_initial_mplock();
+#endif
 	cninit();
 	rand_initialize();
 #if 0	/* #ifdef DDB */