>>>> "MD" == Matt Domsch
MD> [...] there's no ordering guarantee between the two such that we
MD> know kernel-devel is always installed before kernel.
It should be possible to have kernel-devel have Requires(post): kernel
or use some other type of fine-grained dependency to guarantee some
sort of ordering.