diff -Nur linux-3.13.6.orig/arch/microblaze/include/asm/setup.h linux-3.13.6/arch/microblaze/include/asm/setup.h
--- linux-3.13.6.orig/arch/microblaze/include/asm/setup.h	2014-03-07 07:07:02.000000000 +0100
+++ linux-3.13.6/arch/microblaze/include/asm/setup.h	2014-03-12 13:28:53.315145258 +0100
@@ -19,8 +19,6 @@
 
 extern char *klimit;
 
-void early_printk(const char *fmt, ...);
-
 int setup_early_printk(char *opt);
 void remap_early_printk(void);
 void disable_early_printk(void);