Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 26fa0f9f8b1d7bd5366298fe39165bf010b22a37)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 4b8f1c34c25b81932a91b8e81daa5fcd3edea446)
@@ -95,5 +95,13 @@
 			panic("Unsupported bits per pixel");
 		}
-		fb_init(bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.scanline, visual);
+		fb_properties_t prop = {
+			.addr = bootinfo.screen.addr,
+			.offset = 0,
+			.x = bootinfo.screen.width,
+			.y = bootinfo.screen.height,
+			.scan = bootinfo.screen.scanline,
+			.visual = visual,
+		};
+		fb_init(&prop);
 		
 		/* Initialize IRQ routing */
@@ -104,5 +112,6 @@
 		
 		/* Initialize I/O controller */
-		cuda_init(device_assign_devno(), bootinfo.keyboard.addr + 0x16000, 2 * PAGE_SIZE);
+		cuda_init(device_assign_devno(),
+		    bootinfo.keyboard.addr + 0x16000, 2 * PAGE_SIZE);
 		
 		/* Merge all zones to 1 big zone */
@@ -129,5 +138,8 @@
 void userspace(uspace_arg_t *kernel_uarg)
 {
-	userspace_asm((uintptr_t) kernel_uarg->uspace_uarg, (uintptr_t) kernel_uarg->uspace_stack + THREAD_STACK_SIZE - SP_DELTA, (uintptr_t) kernel_uarg->uspace_entry);
+	userspace_asm((uintptr_t) kernel_uarg->uspace_uarg,
+	    (uintptr_t) kernel_uarg->uspace_stack +
+	    THREAD_STACK_SIZE - SP_DELTA,
+	    (uintptr_t) kernel_uarg->uspace_entry);
 	
 	/* Unreachable */