Index: arch/ppc32/include/boot/boot.h
===================================================================
--- arch/ppc32/include/boot/boot.h	(revision b6d4566fc9565b3a6eff5c6344350e4dbf778359)
+++ arch/ppc32/include/boot/boot.h	(revision 2a1fa51536bfc1c1cff6d27d507dc0e67b239201)
@@ -53,5 +53,5 @@
 
 typedef struct {
-	unsigned int addr;
+	__address addr;
 	unsigned int width;
 	unsigned int height;
Index: arch/ppc32/src/console.c
===================================================================
--- arch/ppc32/src/console.c	(revision b6d4566fc9565b3a6eff5c6344350e4dbf778359)
+++ arch/ppc32/src/console.c	(revision 2a1fa51536bfc1c1cff6d27d507dc0e67b239201)
@@ -38,4 +38,4 @@
 {
 	/* TODO: Framebuffer mapping */
-	fb_init(0xf0000000, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline);
+	fb_init(0xf0000000 + (bootinfo.screen.addr & ((__address) ~0 >> 15)), bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline);
 }