wollte ich mittels vboxconfig ein neues Modul bauen lassen
Wenn Du das manuell anwerfen mußt, ist ja schon was nicht richtig/vollständig installiert.
Nutzt Du VBox von virtualbox.org, mußt Du für Kernel 5.3 6.0.13er Testbuilds nutzen, aktuell VBox 133688, GA 133713, EP 133685.
Vor der Installation von .run, .deb deinstallieren!
VBox 6.0.13 laeuft mit Kernel 5.3 im Host (und auch im Guest)
Man sollte sich bewußt sein, 6.1.0b1 ist noch sehr früh. Da kommen noch 1...2 Betas, dann erst ~3 RCs.