Revert "Support floating-point formatting"

This reverts commit 01c6dcf6c7.

The hack isn't used in duke, so having it is redundant.

Change-Id: Ieb36d75718e0c2d1305440d08021744625117886

firmware/common/vuprintf.c

@@ -23,7 +23,6 @@
 #include <limits.h>
 #include <string.h>
 #include <stddef.h>
-#include <stdio.h> /* for snprintf */
 #include "system.h"
 #include "vuprintf.h"
 
@@ -526,20 +525,6 @@ static inline const char * format_p(const void *p,
 }
 #endif /* FMT_RADIX_p */
 
-#undef ABS
-#define ABS(x) ((x)<0?-(x):(x))
-
-static const char * format_f(double f,
-                             struct fmt_buf *fmt_buf,
-                             int radixchar,
-                             bool *numericp)
-{
-    (void) radixchar;
-    (void) numericp;
-    fmt_buf->length = snprintf(fmt_buf->buf, 24, "%d.%06d", (int)f, ABS((int)((f - (int)f)*1e6)));
-    return fmt_buf->buf;
-}
-
 /* parse fixed width or precision field */
 static const char * parse_number_spec(const char *fmt,
                                       int ch,
@@ -757,12 +742,6 @@ int vuprintf(vuprintf_push_cb push, /* call 'push()' for each output letter */
             break;
         #endif
 
-        case 'f':
-        case 'g':
-            buf = format_f(va_arg(ap, double), &fmt_buf, ch,
-                           &numeric);
-            break;
-
             /** signed integer **/
         case 'd':
         case 'i':