Integrate flaterm terminal

kernel/hal/x86_64/gdt.c

@@ -68,7 +68,7 @@ void gdt_init(void) {
   uint64_t base = gdt_curretbase();
   curgdt = (ExtendedGdt *)base;
 
-  HAL_MEMSET(&tss, 0, sizeof(tss));
+  hal_memset(&tss, 0, sizeof(tss));
   tss.iopb_off = sizeof(tss);
 
   uint64_t tss_base = (uint64_t)&tss;

kernel/hal/x86_64/serial.c

@@ -1,6 +1,7 @@
 #include <stdint.h>
 #include <stdbool.h>
 #include "io.h"
+#include "putchar.h"
 
 #define SERIAL_PORT 0x3f8
 
@@ -42,7 +43,9 @@ bool serial_init(void) {
   return true;
 }
 
-// For printf library
-void putchar_(char c) {
-  serial_write(c);
-}
+#if PUTCHAR_ == PUTCHAR_SERIAL
+  // For printf library
+  void putchar_(char c) {
+    serial_write(c);
+  }
+#endif