Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision 08b560184aacc3e2533a5309e7057c4051e6f4df)
+++ kernel/generic/src/printf/printf_core.c	(revision c213c771a4ff003fd8dcf5c81a7904be71124883)
@@ -160,5 +160,5 @@
 		return ps->write_utf8((void *) &invalch, 1, ps->data);
 	
-	return ps->write_utf32(&ch, 1, ps->data);
+	return ps->write_utf32(&ch, sizeof(wchar_t), ps->data);
 }