After upgrading VirtualBox on my Mac OS host to 5.1.26, my Debian Guest (Kernel 3.16.43, amd64) startet to crash upon reboot. However, a cold boot made no problems. A little bit of Googling suggested to change the virtualized audio hardware from AC97 to HD Audio. That worked fine, so problem solved :-)