[Bugfix] Serial.printf output not priting over USB

Author: h2zero

cores/nRF5/Print.cpp

@@ -23,14 +23,8 @@
 #include <math.h>
 #include "Arduino.h"
 #include "libc/printf/printf.h"
-
 #include "Print.h"
 
-extern "C" void streamOutput(char c, void* arg)
-{
-  (static_cast<Print *>(arg))->write(c);
-}
-
 // Public Methods //////////////////////////////////////////////////////////////
 
 /* default implementation: may be overridden */
@@ -197,7 +191,7 @@ int Print::printf(const char* format, ...)
 {
   va_list va;
   va_start(va, format);
-  int ret = vfctprintf(&streamOutput, this, format, va);
+  int ret = vprintf(format, va);
   va_end(va);
   return ret;
 }