Finalement, le bug a déjà été rapporté, je n’ai donc rien à faire.
Pour les autres qui seraient en rade, je signale que désinstaller la version fournie par Debian et installer le binaire fourni sur virtualbox.org (celui pour « all distributions ») résout le problème.
[^] # Re: bug avec VirtualBox-DKMS
Posté par ɹǝıʌıʃO . En réponse à la dépêche Debian bug Squashing Party (Jessie) du 14 au 16 novembre 2014 à Paris. Évalué à 2.
Finalement, le bug a déjà été rapporté, je n’ai donc rien à faire.
Pour les autres qui seraient en rade, je signale que désinstaller la version fournie par Debian et installer le binaire fourni sur virtualbox.org (celui pour « all distributions ») résout le problème.