NAME
kernel_kexec - reboot the system
SYNOPSIS
void kernel_kexec (void);
ARGUMENTS
void no arguments
DESCRIPTION
Move into place and start executing a preloaded standalone executable.
If nothing was preloaded return an error.