xserver-xorg-input-vmmouse が古い xserver-xorg-core に依存したままで
xserver-xorg-core を upgrade
することが出来なかったのでちょっと調べた.どうやら
xserver-xorg-input-vmmouse は https://tracker.debian.org/news/784550 によると July 16
時点で unstable から削除された模様 (July 20 には testing からも削除された).理由は https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=831420
のとおり Linux kernel driver 側でサポートされたからとのこと.たしかに
4.1-rc1 で取り込まれている.CONFIG_MOUSE_PS2_VMMOUSE=y
で有効になる
(CONFIG_HYPERVISOR_GUEST=y
等に依存).