Remote reboot over ssh does not restart [duplicate]

Others have had the same problem: Why can't I restart/shutdown?

Colin Watson suggests trying different parameters for reboot= in grub.