Index: ppc/arch/ppc/boot/simple/misc-embedded.c
===================================================================
--- ppc.orig/arch/ppc/boot/simple/misc-embedded.c	2005-06-03 21:18:55.000000000 -0300
+++ ppc/arch/ppc/boot/simple/misc-embedded.c	2005-06-04 21:34:47.111632446 -0300
@@ -20,6 +20,7 @@
 #elif defined(CONFIG_8260)
 #include <asm/mpc8260.h>
 #endif
+#include <syslib/fw_bdt.h>
 
 #include "nonstdio.h"
 
Index: ppc/arch/ppc/boot/simple/embed_config.c
===================================================================
--- ppc.orig/arch/ppc/boot/simple/embed_config.c	2005-06-03 21:18:55.000000000 -0300
+++ ppc/arch/ppc/boot/simple/embed_config.c	2005-06-04 21:35:18.887270375 -0300
@@ -21,6 +21,7 @@
 #ifdef CONFIG_40x
 #include <asm/io.h>
 #endif
+#include <syslib/fw_bdt.h>
 extern unsigned long timebase_period_ns;
 
 /* For those boards that don't provide one.
Index: ppc/arch/ppc/boot/simple/m8xx_tty.c
===================================================================
--- ppc.orig/arch/ppc/boot/simple/m8xx_tty.c	2004-05-09 23:31:55.000000000 -0300
+++ ppc/arch/ppc/boot/simple/m8xx_tty.c	2005-06-04 21:35:40.355647384 -0300
@@ -13,6 +13,7 @@
 #include <asm/uaccess.h>
 #include <asm/mpc8xx.h>
 #include <asm/commproc.h>
+#include <syslib/fw_bdt.h>
 
 #ifdef CONFIG_MBX
 #define MBX_CSR1	((volatile u_char *)0xfa100000)