Reboot

Add a reboot (i.e. hardware reset) function to RIOT kernel -- sequel of PR #687 (erroneously closed).