x86/platform/ce4100: Add header file for reboot type