Problem gelöst, eine Installation der akutellen Fassung von VirtualBox aus > deb http://download.virtualbox.org/virtualbox/debian jessie contrib sowie ein /etc/init.d/vboxdrv setup beseitigt die segfaults mfg Matthias