diff --git a/[refs] b/[refs]
index 26dc6b937b6c..5ded37e1b0c6 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 790c7ebbe9dc3ec428a5e982af492a14dd1b565f
+refs/heads/master: 726c0d95b6bd06cb83efd36a76ccf03fa9a770f0
diff --git a/trunk/arch/x86/kernel/early_printk.c b/trunk/arch/x86/kernel/early_printk.c
index 6a36dd228b69..639ad98238a2 100644
--- a/trunk/arch/x86/kernel/early_printk.c
+++ b/trunk/arch/x86/kernel/early_printk.c
@@ -14,6 +14,7 @@
 #include <xen/hvc-console.h>
 #include <asm/pci-direct.h>
 #include <asm/fixmap.h>
+#include <asm/pgtable.h>
 #include <linux/usb/ehci_def.h>
 
 /* Simple VGA output */