Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision 5d494b3f7a42392f3a69ba78ee3c67c3969e5041)
+++ kernel/generic/src/debug/symtab.c	(revision 52755f1aae0f6627004f7f5763abd7ae8af7b8e8)
@@ -40,4 +40,6 @@
 #include <func.h>
 #include <print.h>
+#include <arch/types.h>
+#include <typedefs.h>
 
 /** Return entry that seems most likely to correspond to argument.
@@ -140,5 +142,5 @@
 		addr =  uint64_t_le2host(symbol_table[i].address_le);
 		realname = symbol_table[i].symbol_name;
-		printf("%.*p: %s\n", sizeof(uintptr_t) * 2, addr, realname);
+		printf("%p: %s\n", addr, realname);
 		i++;
 	}