Hmm. I bought the cheapest kvm switch i could find (vga + 2 usb only) and ignored the vga ports for this. The advantage is it's cross platform.

Have to switch monitor inputs separately but it will do, considering the other box is running either windows or linux.