Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision f7981780b553fa33f466e5900f1947df6d56a64a)
+++ kernel/generic/src/syscall/syscall.c	(revision 2ca5f6326f12aee981cdb0aa046f8e37cd7d9a67)
@@ -59,5 +59,5 @@
 static sysarg_t sys_debug_putint(sysarg_t i)
 {
-	printf("[task:0x%x]", i);
+	printf("[task:0x%x]", (unsigned) i);
 	return 0;
 }