Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision c19aa612473b0cd0cc4282fabaaaea0f41fbb0b7)
+++ kernel/generic/src/debug/symtab.c	(revision 8c9e71a20764eb3c3d53286f565b518a7939f4ab)
@@ -192,5 +192,5 @@
 		uintptr_t addr = uint64_t_le2host(symbol_table[pos].address_le);
 		char *realname = symbol_table[pos].symbol_name;
-		printf("%p: %s\n", addr, realname);
+		printf("%p: %s\n", (void *) addr, realname);
 		pos++;
 	}