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
Added while(1) to ensure GCC valids NORETURN; fixed indentation
Merge pull request #1 from LudwigOrtmann/native_reboot

implement rudimentary native reboot
add system calls to the shell
Merge pull request #2 from LudwigOrtmann/shell_syscalls

add system calls to the shell (to implement a reboot command)
Merge pull request #687 from rousselk/reboot

Fixes for LPC1768 made by OlegHahm.