Resolvi meu problema. Certifique-se de que dkms
esteja instalado no sistema operacional convidado (seguinte comando para o Debian Linux):
sudo apt-get install build-essential linux-headers-'uname -r' dkms
Em seguida, reinstale as adições de comentários.