Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision 043eca01ebb6b34f0caa6ca86a4c3c3ccae6a121)
+++ kernel/generic/src/printf/printf_core.c	(revision 0175246a19e8ee96e2ea4f2c13e89c437bf42b2e)
@@ -82,4 +82,5 @@
 static char digits_small[] = "0123456789abcdef";
 static char digits_big[] = "0123456789ABCDEF";
+static char invalch = U_SPECIAL;
 
 /** Print one or more characters without adding newline.