diff --git a/src/system/kernel/image.c b/src/system/kernel/image.c
index a36b1af648..c894a0c3a3 100644
--- a/src/system/kernel/image.c
+++ b/src/system/kernel/image.c
@@ -221,7 +221,7 @@ dump_images_list(int argc, char **argv)
 	} else
 		team = thread_get_current_thread()->team;
 
-	kprintf("Registered images of team 0x%lx\n", team->id);
+	kprintf("Registered images of team %ld\n", team->id);
 	kprintf("    ID text       size    data       size    name\n");
 
 	while ((image = list_get_next_item(&team->image_list, image)) != NULL) {
diff --git a/src/system/kernel/port.cpp b/src/system/kernel/port.cpp
index 83db013ae9..4069d81ab3 100644
--- a/src/system/kernel/port.cpp
+++ b/src/system/kernel/port.cpp
@@ -114,12 +114,12 @@ _dump_port_info(struct port_entry *port)
 	int32 count;
 
 	kprintf("PORT: %p\n", port);
-	kprintf(" id:              %#lx\n", port->id);
+	kprintf(" id:              %ld\n", port->id);
 	kprintf(" name:            \"%s\"\n", port->name);
-	kprintf(" owner:           %#lx\n", port->owner);
+	kprintf(" owner:           %ld\n", port->owner);
 	kprintf(" capacity:        %ld\n", port->capacity);
-	kprintf(" read_sem:        %#lx\n", port->read_sem);
-	kprintf(" write_sem:       %#lx\n", port->write_sem);
+	kprintf(" read_sem:        %ld\n", port->read_sem);
+	kprintf(" write_sem:       %ld\n", port->write_sem);
  	get_sem_count(port->read_sem, &count);
  	kprintf(" read_sem count:  %ld\n", count);
  	get_sem_count(port->write_sem, &count);