Fwd: How can I tell Debian on a Raspberry Pi 4B (4GB) which kernel image to load at boot time?

I just realized that my reply did not hit the list. -- Forwarded message - From: Hank Barta Date: Wed, Aug 2, 2023 at 9:51 AM Subject: Re: How can I tell Debian on a Raspberry Pi 4B (4GB) which kernel image to load at boot time? To: Rick Thomas Hi Rick, I have not experienced

How can I tell Debian on a Raspberry Pi 4B (4GB) which kernel image to load at boot time?

I have a set of three Raspberry-Pi 4B (4GB) machines. They all are running the Debian for Rpi from [1]. They all were happily running the kernel from package "linux-image-6.1.0-9-arm64". But, recently, a passing "apt upgrade" installed "linux-image-6.1.0-10-arm64" on them. On all three of the