[PATCH 4/9] tools/nolibc: move reboot() to sys/reboot.h