Index: boot/arch/ppc32/src/main.c
===================================================================
--- boot/arch/ppc32/src/main.c	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
+++ boot/arch/ppc32/src/main.c	(revision 33c29521d96b892e096419a2fd8beb867e2596f6)
@@ -103,4 +103,10 @@
 	}
 	
+	if (top >= (size_t) loader_address_pa) {
+		printf("Inflated components overlap loader area.\n");
+		printf("The boot image is too large. Halting.\n");
+		halt();
+	}
+	
 	void *balloc_base;
 	void *balloc_base_pa;