Add a reboot() function to kernel.h definitions.
Implemented reboot() function for MSP430 MCUs
Implemented reboot() for LPC MCUs (redirect to arm_reset() function)
Function attributes are now defined elsewhere ("attributes.h")