Index: boot/arch/arm32/include/asm.h
===================================================================
--- boot/arch/arm32/include/asm.h	(revision 0acd3399ba1eed434dfaab9035233086c868ad07)
+++ boot/arch/arm32/include/asm.h	(revision b8bb2bca6faf41e1de3003ab6fccd7a856693d43)
@@ -49,5 +49,5 @@
  *
  */
-extern void jump_to_kernel(void *entry, void *bootinfo)
+extern void jump_to_kernel(void *entry, void *bootinfo, void *kernel_end)
     __attribute__((noreturn));