I have tested kernel 4.13.0.38.57 from xenial-proposed and virtualbox is still freezing with virtualbox 5.0.40-dfsg-0ubuntu1.16.04.2.
Kernel 4.15.0.13.39, also from -proposed is too recent for Virtualbox 5.0.40-dfsg-0ubuntu1.16.04.2, and the vbox kernel module fails to build.
However, installing virtualbox 5.1.34-dfsg-0ubuntu1.16.04.2 from -proposed (instead of 5.0.40-dfsg-0ubuntu1.16.04.2 from xenial-updates) worked on the -proposed 4.13 kernel as well as the 4.13.0.37.56 kernel from xenial-updates
So, an imperfect solution for those freezes might be to upgrade Virtualbox to -proposed version (5.1) until it lands in -updates
I have tested kernel 4.13.0.38.57 from xenial-proposed and virtualbox is still freezing with virtualbox 5.0.40- dfsg-0ubuntu1. 16.04.2.
Kernel 4.15.0.13.39, also from -proposed is too recent for Virtualbox 5.0.40- dfsg-0ubuntu1. 16.04.2, and the vbox kernel module fails to build.
However, installing virtualbox 5.1.34- dfsg-0ubuntu1. 16.04.2 from -proposed (instead of 5.0.40- dfsg-0ubuntu1. 16.04.2 from xenial-updates) worked on the -proposed 4.13 kernel as well as the 4.13.0.37.56 kernel from xenial-updates
So, an imperfect solution for those freezes might be to upgrade Virtualbox to -proposed version (5.1) until it lands in -updates