Index: kernel/generic/src/debug/stacktrace.c
===================================================================
--- kernel/generic/src/debug/stacktrace.c	(revision fa3b8e459a92a84d509ea468dda6a9cbb78af229)
+++ kernel/generic/src/debug/stacktrace.c	(revision 9110ff070e5e3abb5381cb99117b41599fabdcb9)
@@ -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);