Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision c8bf88d737f715dd3bf256ec6f8bf31e0d3be7e1)
+++ kernel/generic/src/printf/printf_core.c	(revision 3a180ad98d71236e0d3c1e4125727af20f41097e)
@@ -250,5 +250,5 @@
  */
 static int print_str(char *str, int width, unsigned int precision,
-	uint32_t flags, printf_spec_t *ps)
+    uint32_t flags, printf_spec_t *ps)
 {
 	if (str == NULL)
@@ -298,14 +298,17 @@
  */
 static int print_wstr(wchar_t *str, int width, unsigned int precision,
-	uint32_t flags, printf_spec_t *ps)
+    uint32_t flags, printf_spec_t *ps)
 {
 	if (str == NULL)
 		return printf_putstr(nullstr, ps);
-
+	
+	if (*str == U_BOM)
+		str++;
+	
 	/* Print leading spaces. */
 	size_t strw = wstr_length(str);
 	if (precision == 0)
 		precision = strw;
-
+	
 	/* Left padding */
 	count_t counter = 0;
@@ -317,5 +320,5 @@
 		}
 	}
-
+	
 	/* Part of @a wstr fitting into the alloted space. */
 	int retval;
@@ -323,7 +326,7 @@
 	if ((retval = printf_wputnchars(str, size, ps)) < 0)
 		return -counter;
-
+	
 	counter += retval;
-
+	
 	/* Right padding */
 	while (width-- > 0) {
