Comment 26 for bug 1729568

@geryon you might have hit some new CPU new kernel bug, you should probably try the proposed pocket, as suggested above, and maybe virtualbox 5.2 from my ppa
https://launchpad.net/~costamagnagianfranco/+archive/ubuntu/virtualbox-ppa