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 94ab1feee60e1dc265439cd0a4cd8a99e8543b48)
@@ -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);