Index: lib/ubsan_minimal/ubsan_minimal_handlers.cc
===================================================================
--- lib/ubsan_minimal/ubsan_minimal_handlers.cc
+++ lib/ubsan_minimal/ubsan_minimal_handlers.cc
@@ -3,9 +3,14 @@
 #include <string.h>
 #include <unistd.h>
 
+#ifdef KERNEL_USE
+extern "C" void ubsan_message(const char *msg);
+static void message(const char *msg) { ubsan_message(msg); }
+#else
 static void message(const char *msg) {
   write(2, msg, strlen(msg));
 }
+#endif
 
 static const int kMaxCallerPcs = 20;
 static std::atomic<void *> caller_pcs[kMaxCallerPcs];