Description

The summary line should be pretty self-explanatory. I noticed the problem due to the fact that the missing System.map file prevents the deltarpm from the old to new kernel-devel package from being used, so the full package must be downloaded. Comparing rpm -V output with dkms installed vs. not installed, the only difference is one line indicating the missing System.map file when dkms is installed. There is a huge amount of output like

etc. where only the mtime differs. This output exists even after a reinstall of kernel-devel, so appears to have nothing to do with VirtualBox. I don't know if that's normal. In any case, it obviously makes it hard to notice things like missing files.

It appears that kernel-devel's System.map is identical to the corresponding file in /boot, which is owned by kernel (for example, /boot/System.map-3.5.2-1.fc17.x86_64 and /usr/src/kernels/3.5.2-1.fc17.x86_64/System.map are identical, except for name and an mtime difference) so copying over the version in /boot is an easy workaround (easier than reinstalling kernel-devel which is what I've been doing).