diff --git a/src/system/kernel/thread.c b/src/system/kernel/thread.c
index 8cf48cb1b8..d93351c92b 100644
--- a/src/system/kernel/thread.c
+++ b/src/system/kernel/thread.c
@@ -543,7 +543,7 @@ dump_thread_info(int argc, char **argv)
 {
 	const char *name = NULL;
 	struct thread *t;
-	int id = -1;
+	int32 id = -1;
 	struct hash_iterator i;
 	bool found = false;