I just tried /sbin/reboot and it restarted a board that would not restart using the gui reboot. Thanks guys