diff --git a/[refs] b/[refs]
index 33956a305b2e..af5ed3b0fcb4 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 34bf5d0ff54d03f0a8ed690d47efb806ee2fffcb
+refs/heads/master: 0b936bfdeb85784b7df132b2c64fb34ad9b11ffa
diff --git a/trunk/arch/x86/kernel/reboot.c b/trunk/arch/x86/kernel/reboot.c
index 61f718df6eec..b165eb0884ed 100644
--- a/trunk/arch/x86/kernel/reboot.c
+++ b/trunk/arch/x86/kernel/reboot.c
@@ -22,6 +22,7 @@
 #endif
 
 #include <mach_ipi.h>
+#include "../pci/pci.h"
 
 
 /*