1 files changed, 7 insertions, 0 deletions

diff --git a/arch/x86/kernel/early_printk.c b/arch/x86/kernel/early_printk.c
index d15f575a861b..6d3d20073615 100644
--- a/arch/x86/kernel/early_printk.c
+++ b/arch/x86/kernel/early_printk.c
@@ -17,6 +17,8 @@
 #include <asm/mrst.h>
 #include <asm/pgtable.h>
 #include <linux/usb/ehci_def.h>
+#include <linux/efi.h>
+#include <asm/efi.h>
 
 /* Simple VGA output */
 #define VGABASE         (__ISA_IO_base + 0xb8000)
@@ -234,6 +236,11 @@ static int __init setup_early_printk(char *buf)
                         early_console_register(&early_hsu_console, keep);
                 }
 #endif
+#ifdef CONFIG_EARLY_PRINTK_EFI
+                if (!strncmp(buf, "efi", 3))
+                        early_console_register(&early_efi_console, keep);
+#endif
+
                 buf++;
         }
         return 0;