via https://superuser.com/questions/864748/can-ssh-as-root-but-can-not-restart-cannot-execute-binary-file
reboot -> "echo b > /proc/sysrq-trigger"