Index: arch/ppc32/loader/asm.S
===================================================================
--- arch/ppc32/loader/asm.S	(revision 3eee37ddabc214eeb234269114c36548c82f7e4d)
+++ arch/ppc32/loader/asm.S	(revision de1b8b1d4a25a8b5968c0827f70bae089bc214da)
@@ -107,7 +107,6 @@
 	# r4 = bootinfo_size
 	# r5 = trans (pa)
-	# r6 = kernel size
-	# r7 = framebuffer (pa)
-	# r8 = real_mode (pa)
+	# r6 = bytes to copy
+	# r7 = real_mode (pa)
 	
 	# disable interrupts
@@ -119,5 +118,5 @@
 	# set real_mode meeting point address
 	
-	mtspr srr0, r8
+	mtspr srr0, r7
 	
 	# jumps to real_mode
@@ -142,6 +141,5 @@
 	#
 	# r5 = trans (pa)
-	# r6 = kernel size
-	# r7 = framebuffer (pa)
+	# r6 = bytes to copy
 	
 	li r31, PAGE_SIZE >> 2
@@ -234,15 +232,4 @@
 	mtspr dbat0l, r30
 	
-	# FIXME: temporal framebuffer mapping
-	
-	lis r31, 0xf000
-	ori r31, r31, 0x0ffe
-	
-	mr r30, r7
-	ori r30, r30, 0x0002
-	
-	mtspr dbat1u, r31
-	mtspr dbat1l, r30
-	
 	tlbia
 	
Index: arch/ppc32/loader/asm.h
===================================================================
--- arch/ppc32/loader/asm.h	(revision 3eee37ddabc214eeb234269114c36548c82f7e4d)
+++ arch/ppc32/loader/asm.h	(revision de1b8b1d4a25a8b5968c0827f70bae089bc214da)
@@ -45,5 +45,5 @@
 
 extern void halt();
-extern void jump_to_kernel(void *bootinfo, unsigned int bootinfo_size, void *trans, unsigned int kernel_size, void *framebuffer, void *real_mode) __attribute__((noreturn));
+extern void jump_to_kernel(void *bootinfo, unsigned int bootinfo_size, void *trans, unsigned int kernel_size, void *real_mode) __attribute__((noreturn));
 extern void real_mode();
 
Index: arch/ppc32/loader/main.c
===================================================================
--- arch/ppc32/loader/main.c	(revision 3eee37ddabc214eeb234269114c36548c82f7e4d)
+++ arch/ppc32/loader/main.c	(revision de1b8b1d4a25a8b5968c0827f70bae089bc214da)
@@ -107,5 +107,4 @@
 	void *trans_pa = ofw_translate(&trans);
 	void *bootinfo_pa = ofw_translate(&bootinfo);
-	void *fb = (void *) (((unsigned int) bootinfo.screen.addr) & ((unsigned int) ~0 << 17));
 	
 	printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20);
@@ -152,4 +151,4 @@
 	
 	printf("\nBooting the kernel...\n");
-	jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, pages << PAGE_WIDTH, fb, real_mode_pa);
+	jump_to_kernel(bootinfo_pa, sizeof(bootinfo), trans_pa, pages << PAGE_WIDTH, real_mode_pa);
 }