Reboot from the command line (stuck processes)

I started a remote reboot of my machine but a couple of *stuck* processes are hanging the reboot. - login with SSH is still possible - sudo reboot or sudo shutdown -r hang - two processes are *trying to exit* USER PID PPID PGID SESS JOBC STAT TT TIME COMMAND root 43 1 43 0 0 ?Es ?? 0:00.00 (mds) corti 407 376 407 0 1 ?E ?? 0:00.00 (talagent) - I did not manage to kill them (i.e., sudo kill -9 43 or sudo kill -9 407 have not effect) - A remote desktop session is no more possible (last screen that I got was a gray screen with the wheel while shutting down) - Trying to reboot without flushing the caches does also hang (any combination of -n and -q) Any other things I could try other than going home and physically reboot the machine?