--- kexec-tools-testing-20070330/kexec/arch/ppc64/kexec-ppc64.c.orig	2007-03-30 00:34:36.000000000 -0400
+++ kexec-tools-testing-20070330/kexec/arch/ppc64/kexec-ppc64.c	2007-08-27 15:35:47.000000000 -0400
@@ -454,8 +454,8 @@
 			}
 			rmo_base = ((unsigned long long *)buf)[0];
 			rmo_top = rmo_base + ((unsigned long long *)buf)[1];
-			if (rmo_top > 0x30000000UL)
-				rmo_top = 0x30000000UL;
+			if (rmo_top > 0x07C00000UL)
+				rmo_top = 0x07C00000UL;
 
 			fclose(file);
 			closedir(cdir);