> I think we'll just have to live with a reset via reboot whenever the > option becomes available, while not removing the PS/2 connections again.