feat: initial booting kernel, copy libc stuff from myke

yak-kernel/src/platform/x86_64/platform.c

@@ -0,0 +1,14 @@
+//
+// Created by rick on 22-3-23.
+//
+#include <stdio.h>
+#include <yak/platform/generic/platform.h>
+
+void platform_init() {
+    printf("Init X86_64");
+}
+
+void __attribute__((noreturn)) halt_forever() {
+    __asm__("cli");
+    while (1) __asm__("hlt");
+}