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