Una cosa es el virtualbox que está en los repositorios Debian que necesita ser compilado de cara a los modulos del kernel vbox*.. y otra la versión binaria y con parte propietaria de Oracle en la web del proyecto la cual además tiene soporte de dispositivos USB y RDP entre otras lindezas...

Tienes que bajar el metapaquete del fuente del kernel, etc... hay varios hilos al respecto y en la wiki creo que se explica también,,