20 Mar
2018
20 Mar
'18
6:02 p.m.
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