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