Gelöst: VirtualBox startet keine virtuelle Maschine nach Kernelupdate