Der vboxdrvTreiber ist eine Kernelkomponente eines Drittanbieters. Es ist üblich, solche Treiber in Form ladbarer Module zu erstellen. Da es vom Oracle-Entwicklerteam erstellt wurde, entscheiden sie sich für die Form des Treibers, und Sie müssen sie nach einem Kernel-Patch fragen, der einen integrierten Treiber bereitstellt.
Ich bezweifle ernsthaft, dass sie dies zur Verfügung stellen, und auch nicht, dass es die Mühe wert wäre, eine solche Treiberversion zu erstellen. Das liegt daran, dass kaum jemand von einer eingebauten Version profitieren würde, da dies eine viel kompliziertere Bauprozedur erfordert (muss zusammen mit dem gesamten Kernel erstellt werden, der zuvor gepatcht werden muss). Für das Entwicklerteam ist es außerdem einfacher, eine Modulversion zu verwalten.