dkms and corruption of kernel-devel package (3.5, 3.6, 3.7 kernels only)

[Andre Robatino]

A while back I reported corruption of the kernel-devel package when building
dkms modules for kernels >= 3.5 - see
https://bugzilla.redhat.com/show_bug.cgi?id=860529 . Specifically, the
System.map file in /usr/src/kernels/* for the corresponding kernel is deleted.
It has now stopped happening as of the first 3.8 Rawhide kernel. Anyone know
what kind of kernel change could cause this to happen only in 3.5 to 3.7
kernels? And is F18 expected to eventually get the 3.8 kernel?