This version did NOT fix the problem for me; VirtualBox is still hanging the computer with 4.13-series kernels.
$ dpkg -s kbuild | grep Version Version: 1:0.1.9998svn2814+dfsg-2~ubuntu16.04.1
This version did NOT fix the problem for me; VirtualBox is still hanging the computer with 4.13-series kernels.
$ dpkg -s kbuild | grep Version 14+dfsg- 2~ubuntu16. 04.1
Version: 1:0.1.9998svn28