Flanterm integration? but page fault in flanterm_fb_double_buffer_flush

src/io/kbd/ps2.c

@@ -206,7 +206,7 @@ void keyboard_handler()
                 if (c)
                 {
                     // Should probably have a keyboard buffer here... instead of this
-                    putchar(c);
+                    _putchar(c);
                 }
             }
         }