Index: boot/arch/arm32/include/asm.h
===================================================================
--- boot/arch/arm32/include/asm.h	(revision df334cafb6079da76f94d74a1dfd100644bddde8)
+++ boot/arch/arm32/include/asm.h	(revision cfeb368091e1ab5084ee63fb6cadec7079c62732)
@@ -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));
 
Index: boot/arch/arm32/src/asm.S
===================================================================
--- boot/arch/arm32/src/asm.S	(revision df334cafb6079da76f94d74a1dfd100644bddde8)
+++ boot/arch/arm32/src/asm.S	(revision cfeb368091e1ab5084ee63fb6cadec7079c62732)
@@ -64,5 +64,4 @@
 	# r0 is kernel entry point
 	# r1 is pointer to the bootinfo structure
-	# r2 is a kernel text end
 
 #define CP15_C1_IC		12
Index: boot/arch/arm32/src/main.c
===================================================================
--- boot/arch/arm32/src/main.c	(revision df334cafb6079da76f94d74a1dfd100644bddde8)
+++ boot/arch/arm32/src/main.c	(revision cfeb368091e1ab5084ee63fb6cadec7079c62732)
@@ -155,5 +155,5 @@
 	void *kernel_end = (void *) PA2KA(BOOT_OFFSET + components[0].inflated);
 	printf("Booting the kernel...\n");
-	jump_to_kernel((void *) PA2KA(BOOT_OFFSET), &bootinfo, kernel_end);
+	jump_to_kernel((void *) PA2KA(BOOT_OFFSET), &bootinfo);
 }