Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 5e9de3a908361d9d6a5025f7ae74649dd082783f)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 7e15496b7745942ecb5c1956e833c827d6909d84)
@@ -80,4 +80,6 @@
 {
 	if (config.cpu_active == 1) {
+
+#ifdef CONFIG_FB
 		/* Initialize framebuffer */
 		if (bootinfo.screen.addr) {
@@ -110,4 +112,5 @@
 			fb_init(&prop);
 		}
+#endif
 		
 		/* Initialize IRQ routing */
@@ -160,5 +163,7 @@
 void arch_grab_console(void)
 {
+#ifdef CONFIG_FB
 	fb_redraw();
+#endif
 }