OK, parece que desconectar os adaptadores kbd / mouse do KVM de ambas as máquinas e conectá-lo de volta serviu como um "hard reset" de tipos, porque agora está funcionando novamente.
Como esta fonte é derivada das portas PS2, em vez de usar um adaptador AC, desconectar os cabos PS2 resolveu o problema.