arch/x86/platform/ce4100/ce4100.c: include reboot.h