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