That solved the more important part of the problem. The grub menu has an entry for the
correct, current kernel, and it boots the correct current kernel. Thank-you, Sam.
On May 19, I started a thread called "ACPI errors (was: f24 boot fails; need
help)". The error messages that I reported there showed up during the boot process
as well as in the journalctl log. For a while in June, they showed up during the boot
process in a small font. Now they show up in a big font. That's an example of what
I'm wanting to display in a small font. This would allow more of the line (and more
lines) to fit on the screen. Since they showed up in a small font for a while last month,
it must be possible. Here's my /etc/default/grub file:
GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
GRUB_CMDLINE_LINUX="rd.md=0 rd.lvm=0 rd.dm=0 rd.luks=0 vconsole.keymap=us rhgb quiet
nouveau.modeset=0 rd.driver.blacklist=nouveau video=vesa:off