diff --git a/arch/x86/linuxbios_table.c b/arch/x86/linuxbios_table.c
index 52e333a426..ccd99a5d3a 100644
--- a/arch/x86/linuxbios_table.c
+++ b/arch/x86/linuxbios_table.c
@@ -181,7 +181,7 @@ void lb_memory_range(struct lb_memory *mem,
 	u32 type, u64 start, u64 size)
 {
 	int entries;
-	printk(BIOS_SPEW-2, "%s: start 0x%lx size 0x%lx\n", __func__, start, size);
+	printk(BIOS_SPEW-2, "%s: start 0x%lx size 0x%lx\n", __func__, (u32)start, (u32)size);
 	entries = (mem->size - sizeof(*mem))/sizeof(mem->map[0]);
 	mem->map[entries].start = pack_lb64(start);
 	mem->map[entries].size = pack_lb64(size);
@@ -243,6 +243,9 @@ static void lb_cleanup_memory_ranges(struct lb_memory *mem)
 	int entries;
 	int i, j;
 	entries = (mem->size - sizeof(*mem))/sizeof(mem->map[0]);
+	printk(BIOS_INFO, "%s: # entries %d\n", __func__, entries);
+	for(i = 0; i < entries; i++)
+		printk(BIOS_INFO, "  #%d: base 0x%x size 0x%x\n", i, (u32)mem->map[i].start.lo, mem->map[i].size.lo);
 	
 	/* Sort the lb memory ranges */
 	for(i = 0; i < entries; i++) {
diff --git a/device/device_util.c b/device/device_util.c
index 5f9695b3bd..174cd9101f 100644
--- a/device/device_util.c
+++ b/device/device_util.c
@@ -514,8 +514,8 @@ void search_global_resources(
 		if (!curdev->have_resources) continue;
 		for(i = 0; i < curdev->resources; i++) {
 			struct resource *resource = &curdev->resource[i];
-			printk(BIOS_SPEW, "%s: dev %s, resource %d, flags %x\n", __func__, curdev->dtsname,
-				i, resource->flags);
+			printk(BIOS_SPEW, "%s: dev %s, resource %d, flags %x base 0x%lx size 0x%lx\n", __func__, curdev->dtsname,
+				i, resource->flags, (u32) resource->base, (u32)resource->size);
 			/* If it isn't the right kind of resource ignore it */
 			if ((resource->flags & type_mask) != type) {
 				continue;