rhkmvtag.c should be added to the %files list for kernel-source, as it's needed by custom kernels to find associated modules. The process a kernel uses to find its modules should be better documented, so that experimental kernels and their associated module sets can be created without clobbering the working set.