Rename reboot -> do_reboot since the first is a reserved name on FreeBSD.