Index: boot/arch/ppc32/src/main.c
===================================================================
--- boot/arch/ppc32/src/main.c	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
+++ boot/arch/ppc32/src/main.c	(revision dcb07513e66a1ecb603d6f380ffee05fa3b4e187)
@@ -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;