Ed Greshko wrote:
It seems clear that some script or scriptlet in the package is not doing its job. But they seem pretty simple and I don't see any dependencies which would make them fail on this machine and not others.
That would seem to be a fair conclusion.
I think I would look at the kernel-install script a bit more. It seems it may be calling the scripts in /usr/lib/kernel/install.d
All of these scripts, /bin/kernel-install and /usr/lib/kernel/install.d/*, are identical on this problem machine with those on several other local machines which are not having this problem.