Vbox in Debian ist 4.1.18, diese Version ist uralt, als die raus kam, war von Kernel 3.7 noch nix zu sehen.
Aktuell is Vbox bei 4.2.4 oder 4.1.22, beide Versionen haben Support für Kernel 3.7.
Vor ein paaar Jahren gabs noch kein siduction und die Helden-Devs der beiden Vorgänger-Distros haben die Weissheit auch nicht mit Löffeln gefressen und nicht mit Allem Recht gehabt, was sie so geäußert haben.