Index: kernel/generic/src/debug/stacktrace.c
===================================================================
--- kernel/generic/src/debug/stacktrace.c	(revision c9eb31c2d2fabac75db64a3dbad707585334caa7)
+++ kernel/generic/src/debug/stacktrace.c	(revision 9a683150419f216d90310a99a32dd303e94efb6f)
@@ -52,5 +52,5 @@
 		    ops->symbol_resolve(pc, &symbol, &offset)) {
 		    	if (offset)
-				printf("%p: %s+%p()\n", fp, symbol, offset);
+				printf("%p: %s+%lx()\n", fp, symbol, offset);
 			else
 				printf("%p: %s()\n", fp, symbol);