I am compiling my own kernel RPMS by adding patches to the upstream kernel SRPM, for subarchitectures other than the supported ones. I have noticed that the resulting kernel-devel RPM for the selected ARM architecture does not include the corresponding /usr/src/kernels/$KERNELVER/arch/arm/mach-$MYARCH/include/ directory or any of its contents. This blocks later kernel module compilation (DAHDI in my case) unless I add the missing include/ directory manually. Is this supposed to be handled by the upstream SRPM? If it is so, what might be wrong with what I do? I think upstream is not handling this, because /usr/src/kernels/3.5.6-1.fc17.armv5tel/arch/arm/mach-vexpress/ from kernel-devel is also missing an include/ directory.