[Bug 976524] New: VirtualBox modules not loaded due to missing kmod-VirtualBox package

[Red Hat Bugzilla]

https://bugzilla.redhat.com/show_bug.cgi?id=976524

Bug ID: 976524
           Summary: VirtualBox modules not loaded due to missing
                    kmod-VirtualBox package
           Product: Fedora
           Version: 18
         Component: kmod
          Severity: high
          Priority: unspecified
          Assignee: [e-mail]
          Reporter: [e-mail]
        QA Contact: [e-mail]
                CC: [e-mail],
                    [e-mail], [e-mail],
                    [e-mail]

Description of problem:
Since a few kernel upgrades the kernel modules for VirtualBox are no longer
automatically updated. When attempting to start a VM after a kernel upgrade the
following message is displayed

"Kernel driver not installed (rc=-1908)

The VirtualBox Linux kernel driver (vboxdrv) is probably not loaded.

If you installed or VirtualBox package recently you need to restart the
computer for the driver to load.

Alternatively, you may attempt to load the driver by issuing the following
command with system administrator (root) privileges:

'/etc/sysconfig/modules/VirtualBox.modules'"

Running the indicated command gives the following result:
modinfo: ERROR: Module vboxdrv not found.
modinfo: ERROR: Module vboxnetflt not found.
modinfo: ERROR: Module vboxnetadp not found.

Up until the previous kernel release this could be fixed by installing the
kmod-VirtualBox-`uname -r` package. However for the kernel that was installed
with my latest update, being 3.9.6-200.fc18.x86_64, there is no kmod-VirtualBox
package available.

Version-Release number of selected component (if applicable):
Kernel version: 3.9.6-200.fc18.x86_64
VirtualBox version: 4.2.12 r84980

How reproducible:
Try running a VM with the indicated kernel

Steps to Reproduce:
1. Upgrade to kernel 3.9.6-200.fc18.x86_64
2. Start VM from VirtualBox
3.

Actual results:
VM fails to start

Expected results:
VM runs as expected

Additional info: