diff --git a/src/system/kernel/arch/ppc/arch_int.cpp b/src/system/kernel/arch/ppc/arch_int.cpp
index 03361ba9e9..b4c977819a 100644
--- a/src/system/kernel/arch/ppc/arch_int.cpp
+++ b/src/system/kernel/arch/ppc/arch_int.cpp
@@ -135,7 +135,8 @@ ppc_exception_entry(int vector, struct iframe *iframe)
 				}
 				Thread *thread = thread_get_current_thread();
 				if (thread && thread->fault_handler != 0) {
-					iframe->srr0 = thread->fault_handler;
+					iframe->srr0 =
+						reinterpret_cast<uintptr_t>(thread->fault_handler);
 					break;
 				}