My assumption was that you'd install _one_ 1.3 kernel package. Once you did that, the pre-depends would succeed, even if you'd overwritten the kernel with a development one. Thanks Bruce --