Index: boot/generic/src/printf_core.c
===================================================================
--- boot/generic/src/printf_core.c	(revision 568db0fa9731edee5774d4965f5840e413666d76)
+++ boot/generic/src/printf_core.c	(revision b781cb29389c8328de39d4e2b37c97971da22305)
@@ -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);
-
 }