If the REBOOT option is selected from the login screen the machine will HALT instead of REBOOT. To get it to reboot from there press the RESET button.