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