[Bug 993830] VirtualBox modules crash on load with 4.7 kernels