merged SD_CARD branch

sources/bas_printf.c

@@ -54,7 +54,6 @@
 
 #define INF	32766		/* should be bigger than any field to print */
 
-static char buf[128];
 static char snil[] = "(nil)";
 
 static void xputchar(int c)
@@ -101,6 +100,7 @@ size_t strlen(const char *s)
 
 static void doprnt(void (*addchar)(int), const char *sfmt, va_list ap)
 {
+	char buf[128]; /* FIXME: this gets allocated in BSS which is not reachable in -mpcrel code */
 	char *bp;
 	const char *f;
 	long l;