Hello,
as far as Virtualbox is concerned, I can confirm that the workaround here also works: after that, a simple "dpkg-reconfigure virtualbox-dkms" fills the bill.
On the other side of the shore, VMware Workstation 14.0.0 is unaffected by the bug and works seamlessly.
Thanks towo!!!