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)
added reboot and reset handler for lpc1768
replaced tabs with spaces
First apply board includes, then det. CC caps

In #664 I added a test that determines if the supplied compiler
understands the `-fno-delete-null-pointer-checks` flag. The problem is
that the `$(CC)` supplied on command line or in the application's
Makefile is used, but not the one the `$(BOARD)`'s Makefile sets.

That problem was overlooked as all the boards use GCC, and GCC happens
to know the flag. But if some future board does not use GCC, then the
wrong order of the checks could pose a problem.
Merge pull request #3 from OlegHahm/lpc1768_reset

Lpc1768 reset
Merge remote-tracking branch 'origin/reboot' into reboot
removed unnecessary includes
migrated tcb.h include to .c file
Merge pull request #724 from rousselk/reboot

Reboot
Account for padding in small packages in wireshark
Merge pull request #722 from Kijewski/fixup-664

First apply board includes, then det. CC caps