ptos/amd64: mp: Add MP bootstrap stub / groundwork

Signed-off-by: Chloe M. <chloe@mensia.org>

service/ptos/ke/init.c

@@ -21,6 +21,7 @@
 #include <hal/serial.h>
 #include <hal/thread.h>
 #include <hal/kpcr.h>
+#include <hal/mp.h>
 #include <drivers/bootvid/fbio.h>
 #include <drivers/acpi/acpi.h>
 #include <string.h>
@@ -144,6 +145,9 @@ KiKernelInit(VOID)
     /* Initialize the root process */
     InitializeRootProcess();
 
+    /* Bootstrap all other cores */
+    HalMpBootstrap();
+
     /* Prime the scheduler timer */
     HalPrimeThreadTimer(SCHED_MIN_QUANTUM);