Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision 43b1e860898a9f6f86146a628837eac2fb7dc913)
+++ kernel/generic/src/printf/printf_core.c	(revision 1526594cecdc714a8d598f097949f6f2939ec9fb)
@@ -94,5 +94,5 @@
     struct printf_spec *ps)
 {
-	return ps->write((void *)buf, count, ps->data);
+	return ps->write((void *) buf, count, ps->data);
 }
 
@@ -178,6 +178,6 @@
  * @return		Number of characters printed, negative value on	failure.
  */ 
-static int print_string(char *s, int width, int precision, uint64_t flags,
-    struct printf_spec *ps)
+static int print_string(char *s, int width, unsigned int precision,
+	uint64_t flags, struct printf_spec *ps)
 {
 	int counter = 0;