Again, I'm not sure at what stage the kernel build generates those files. I'll bet you can make them without doing a full kernel compile. Did you try that? I build my kernels the old-fashioned way, so that's what the default is for --with-bsd-kernel-build. I'm open to suggestions.