O driver vboxdrv
é um componente do kernel de terceiros. É uma prática típica criar esses drivers na forma de módulos carregáveis. Como ele é criado pela equipe de desenvolvimento da Oracle, eles são os únicos a decidir sobre a forma do driver e você precisa perguntar a eles para um patch de kernel que forneceria um driver interno.
Eu duvido seriamente que eles forneçam isso, nem que eles vejam que vale a pena o esforço para criar essa versão do driver. Isso porque dificilmente alguém se beneficiaria de uma versão embutida, porque requer um procedimento de construção muito mais complicado (deve ser feito em conjunto, construindo o kernel inteiro, que tem que ser corrigido de antemão). Para o time de desenvolvimento, também é mais fácil manter uma versão do módulo.