Index: boot/arch/arm32/src/main.c
===================================================================
--- boot/arch/arm32/src/main.c	(revision b1011daeaf9246e478ae5a898c0c81350f86f286)
+++ boot/arch/arm32/src/main.c	(revision 077b91722ee4b0aab9a5b3194eaa1107252a19c8)
@@ -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);