Index: boot/arch/arm32/src/main.c
===================================================================
--- boot/arch/arm32/src/main.c	(revision cfeb368091e1ab5084ee63fb6cadec7079c62732)
+++ boot/arch/arm32/src/main.c	(revision 0e63d34c5ceb98339adc1c1befc96f4b8afe9b1f)
@@ -153,5 +153,4 @@
 	printf(".\n");
 	
-	void *kernel_end = (void *) PA2KA(BOOT_OFFSET + components[0].inflated);
 	printf("Booting the kernel...\n");
 	jump_to_kernel((void *) PA2KA(BOOT_OFFSET), &bootinfo);