Index: rmi/xlr_machdep.c
===================================================================
--- rmi/xlr_machdep.c	(revision 214223)
+++ rmi/xlr_machdep.c	(working copy)
@@ -362,7 +362,6 @@
 				printf("First segment: addr:%p -> %p \n",
 				       (void *)phys_avail[0], 
 				       (void *)phys_avail[1]);
-
 			} else {
 /*
  * Can't use this code yet, because most of the fixed allocations happen from
@@ -390,6 +389,8 @@
 				       (void *)phys_avail[j], 
 				       (void *)phys_avail[j+1]);
 			}
+			dump_avail[j] = boot_map->physmem_map[j].addr;
+			dump_avail[j+1] = boot_map->physmem_map[j].size;
 			physsz += boot_map->physmem_map[i].size;
 		}
 	}