Have been using a wheel mouse with 4 machines running on a KVM switch and have never had to reboot. Is that machine setup have the mouse setup as a wheel mouse? I set all my video to the same resolution and keyboards and mice to the same type and never had a problem.
