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 f2b8cdc51775d0938392285312ca1ea65eca2f5b)
@@ -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.