Index: boot/arch/ppc32/include/arch/asm.h
===================================================================
--- boot/arch/ppc32/include/arch/asm.h	(revision 3f7fe9e91d327467121a08ebb9f0aca902ff737a)
+++ boot/arch/ppc32/include/arch/asm.h	(revision f5837524878dfa0cfbf12164f7b8144cee094f9a)
@@ -33,5 +33,5 @@
 #include <arch/main.h>
 
-extern void jump_to_kernel(void *, void *, size_t, void *)
+extern void jump_to_kernel(void *, void *, size_t, void *, uintptr_t)
     __attribute__((noreturn));
 extern void real_mode(void);