diff --git a/[refs] b/[refs]
index 4cd121a07fa9..5bc7dc8bb759 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: f1452d424dc0e079fb97af8cb8d3a0f7b5fddd46
+refs/heads/master: cc7e73f35dccba7503bdaf40bb5189225697664d
diff --git a/trunk/arch/x86/kernel/efi_32.c b/trunk/arch/x86/kernel/efi_32.c
index cb91f985b4a1..5d23d85624d4 100644
--- a/trunk/arch/x86/kernel/efi_32.c
+++ b/trunk/arch/x86/kernel/efi_32.c
@@ -28,6 +28,7 @@
 #include <asm/page.h>
 #include <asm/pgtable.h>
 #include <asm/tlbflush.h>
+#include <asm/efi.h>
 
 /*
  * To make EFI call EFI runtime service in physical addressing mode we need