https://blog.doenselmann.com/virtualbox-kernel-fehler-beim-start/