I thought it was time to upgrade to a 7.x kernel and used apt to install the linux-image package and its dependencies. No problems. But when I rebooted, the system was still running the 6.x kernel.

On inspection, it seems that the original SD image has its kernel in the /boot vfat partition as kernel8, and the apt install didn't touch it.

So, clearly, I don't understand how the Pi boot process is supposed to work on a Devuan system. Is the executable in the /boot partition supposed to be a loader that boots the real kernel from the second, ext4 partition?

Or have I just done something stupid? (Quite possible.)