Add a reboot() function to kernel.h definitions.
Implemented reboot() function for MSP430 MCUs
Function attributes are now defined elsewhere ("attributes.h")
Implemented reboot() function for ARM-based MCUs
Added while(1) to ensure GCC valids NORETURN; fixed indentation
implement rudimentary native reboot