Index: kernel/arch/ppc32/include/boot/boot.h
===================================================================
--- kernel/arch/ppc32/include/boot/boot.h	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/arch/ppc32/include/boot/boot.h	(revision 25a76ab8c8fc91bff44734720fc598b1f6bf55d3)
@@ -52,22 +52,22 @@
 
 typedef struct {
-	uintptr_t addr;
-	uint32_t size;
+	void *addr;
+	size_t size;
 	char name[BOOTINFO_TASK_NAME_BUFLEN];
 } utask_t;
 
 typedef struct {
-	uint32_t count;
+	size_t cnt;
 	utask_t tasks[TASKMAP_MAX_RECORDS];
 } taskmap_t;
 
 typedef struct {
-	uintptr_t start;
-	uint32_t size;
+	void *start;
+	size_t size;
 } memzone_t;
 
 typedef struct {
-	uint32_t total;
-	uint32_t count;
+	uint64_t total;
+	size_t cnt;
 	memzone_t zones[MEMMAP_MAX_RECORDS];
 } memmap_t;
@@ -80,5 +80,5 @@
 } bootinfo_t;
 
-extern bootinfo_t bootinfo;
+extern memmap_t memmap;
 
 #endif