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等に依存)．