I upgraded using "update-manager -d" VMware WS does not launch. The kernel was unchanged 4.10.0-21-generic VirtualBox 5.1.23 (test build) still works.