Add a reboot() function to kernel.h definitions.

Add a reboot (i.e. hardware reset) function to RIOT kernel.