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