kernel: implement cpu IDs and per-cpu variables

init/main.c

@@ -5,7 +5,7 @@
 #include <socks/object.h>
 #include <socks/sched.h>
 #include <socks/machine/init.h>
-#include <socks/machine/cpu.h>
+#include <socks/cpu.h>
 
 extern unsigned long get_rflags(void);
 
@@ -23,7 +23,9 @@ void kernel_init(uintptr_t arg)
 	object_bootstrap();
 	sched_init();
 
+	printk("kernel_init() running on processor %u", this_cpu());
+
 	run_all_tests();
-	
+
 	ml_halt_cpu();
 }