I think I found the problem. Comparing packages installed on this
problem machine with others, I noticed that grubby was not installed.
After installing it and then re-installing the kernel, I find the kernel
in /boot where it belongs.
Evidently, something isn't checking dependencies sufficiently. I saw no
error messages indicating anything was missing.
--
Dave Close