#define CONFIG_X86_BIOS_REBOOT 1