Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision f7981780b553fa33f466e5900f1947df6d56a64a)
+++ kernel/generic/src/syscall/syscall.c	(revision 5b72635b9915b3b8f3da48af22290703c2eed480)
@@ -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;
 }