Você pode atualizar para a nova versão 4.1.14?
Para fazer isso, adicione uma nova fonte:
sudo gedit /etc/apt/sources.list.d/virtualbox.list
E copie a seguinte linha para o gedit e salve
deb http://download.virtualbox.org/virtualbox/debian precise contrib
Em seguida, adicione a chave assinada:
wget -q http://download.virtualbox.org/virtualbox/debian/oracle_vbox.asc -O- | sudo apt-key add -
E, em seguida, faça um sudo apt-get update && sudo apt-get dist-upgrade
Acho que isso resolverá seu problema, porque usamos a versão mais recente e não temos problemas.