From: Xiong Zhou <jencce.kernel@gmail.com>

Add head file for reboot type stuff to fix this:
error: Ħreboot_type˘ undeclared (first use in this function)
error: ĦBOOT_KBD˘ undeclared (first use in this function)

Signed-off-by: Xiong Zhou <jencce.kernel@gmail.com>
---
 arch/x86/platform/ce4100/ce4100.c |    1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/x86/platform/ce4100/ce4100.c b/arch/x86/platform/ce4100/ce4100.c
index baec704..643b8b5e 100644
--- a/arch/x86/platform/ce4100/ce4100.c
+++ b/arch/x86/platform/ce4100/ce4100.c
@@ -14,6 +14,7 @@
 #include <linux/module.h>
 #include <linux/serial_reg.h>
 #include <linux/serial_8250.h>
+#include <linux/reboot.h>
 
 #include <asm/ce4100.h>
 #include <asm/prom.h>