Add a reboot() function to kernel.h definitions.
Implemented reboot() function for MSP430 MCUs