Index: boot/generic/src/printf_core.c
===================================================================
--- boot/generic/src/printf_core.c	(revision 568db0fa9731edee5774d4965f5840e413666d76)
+++ boot/generic/src/printf_core.c	(revision 53e197fcf936bbd9cd02e201dd6207d617f86a4f)
@@ -82,7 +82,7 @@
 } qualifier_t;
 
-static const char nullstr[] = "(NULL)";
-static const char digits_small[] = "0123456789abcdef";
-static const char digits_big[] = "0123456789ABCDEF";
+static const char *nullstr = "(NULL)";
+static const char *digits_small = "0123456789abcdef";
+static const char *digits_big = "0123456789ABCDEF";
 static const char invalch = U_SPECIAL;
 
@@ -218,5 +218,4 @@
 
 	return ((int) counter);
-
 }