/usr/src/kernels/*/System.map file in kernel-devel deleted when building kernel modules with >= 3.5 kernel and dkms installed

[Andre Robatino]

When building either host or guest additions for VirtualBox with dkms installed
and a >= 3.5 kernel, the corresponding System.map file in /usr/src/kernels/* is
deleted. I filed https://www.virtualbox.org/ticket/10847 but it was closed in
the belief that this is not a VirtualBox bug. The reason I noticed it is that
when updating kernel-devel, the missing file forces yum-presto to download the
whole package. Can anyone reproduce this problem with any other type of kernel
module? If so, what component should it be filed under?