Warum arbeitest du noch mit VB-Branch 5.1 und nicht mit 5.2?
Seit heute gibt es VirtualBox 5.2.22 (released November 09 2018).
Da scheint ein Bugfix drin zu sein für aktuelle Windows 10 Hosts:
Windows hosts: fixed an incompatibility with recent versions of Windows 10 (bug #17977)
Vielleicht wäre das ein Versuch wert...
Wie gesagt, beim Übergang von 5.1 auf 5.2 auf einer anderen Maschine (allerdings war dort der Host Windows) gab es Probleme.
Die gab es aber jetzt bei Linux erfreulicherweise nicht.
Habe den Übergang gewagt (nachdem zuvor ein großes Backup von so ziemlich allem erstellt wurde).
Und: Mit Version 5.2.2. scheint es wieder zu gehen, arbeite jetzt schon ca. 2 Stunden ohne crash (sonst war es spätestens nach 10 Minuten passiert).
