#include <stdio.h>
#include <linux/kernel.h>
#include <asm/u-boot.h> /* boot information for Linux kernel */
-#include <asm/global_data.h> /* global data used for startup functions */
-#include <display_options.h>
#include <vsprintf.h>
#endif /* __ASSEMBLY__ */