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