Index: boot/genarch/src/ofw.c
===================================================================
--- boot/genarch/src/ofw.c	(revision 6353d0fd79a7aa96a830dd8022e668494b3d0e0e)
+++ boot/genarch/src/ofw.c	(revision 8b9ce3395ac7523f59b9bc4a4151d67c3fc5618b)
@@ -377,5 +377,5 @@
 	    (map->cnt < MEMMAP_MAX_RECORDS); pos += ac + sc) {
 		void *start = (void *) (buf[pos + ac - 1]);
-		uint32_t size = buf[pos + ac + sc - 1];
+		uintptr_t size = buf[pos + ac + sc - 1];
 		
 		/*