kernel-devel-x.y.z does not require kernel-x.y.z to be installed. I think
kernel-devel-x.y.z is useless without kernel-x.y.z so perhaps kernel-devel
should have a dependency to the kernel package of same version.
it's possible to build modules against kernel headers without having the
associated kernel binaries installed. this is a feature.