He doesn't need to plug in a mouse to reboot. Ctrl-Alt-F1 will land him in a console and he can do "sudo shutdown -r now" from there. Or perhaps restart whatever daemon is causing the problem.