diff --git a/src/system/kernel/elf.c b/src/system/kernel/elf.c
index 16a633c0b3..a35af31b39 100644
--- a/src/system/kernel/elf.c
+++ b/src/system/kernel/elf.c
@@ -69,7 +69,7 @@ image_hash(void *_image, const void *_key, uint32 range)
 	if (image != NULL)
 		return image->id % range;
 
-	return id % range;
+	return (uint32)id % range;
 }
 
 
diff --git a/src/system/kernel/team.c b/src/system/kernel/team.c
index 05cba2cde4..0b75aebdee 100644
--- a/src/system/kernel/team.c
+++ b/src/system/kernel/team.c
@@ -377,7 +377,7 @@ team_struct_hash(void *_p, const void *_key, uint32 range)
 	if (p != NULL)
 		return p->id % range;
 
-	return key->id % range;
+	return (uint32)key->id % range;
 }
 
 
diff --git a/src/system/kernel/thread.c b/src/system/kernel/thread.c
index eee32b7d90..36fb67d28e 100644
--- a/src/system/kernel/thread.c
+++ b/src/system/kernel/thread.c
@@ -145,7 +145,7 @@ thread_struct_hash(void *_t, const void *_key, uint32 range)
 	if (t != NULL)
 		return t->id % range;
 
-	return key->id % range;
+	return (uint32)key->id % range;
 }