Fix VirtualBox DKMS modules