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