So, I see there is a linux-image-4.19.0-16-armmp package, which just
provides the kernel in /boot. I also see there is a raspi-firmware
package, which seems to work with the kernel and initramfs-tools to provide
firmware in /boot/firmware. It looks like /boot should be in the root
file system, and /dev/mmcblk0p1 should now be mounted as
/boot/firmware, correct? Does installing linux-image-4.19.0-16-armmp
and raspi-firmware in Beowulf provide the necessary kernel and
firmware to boot a raspberry pi, or are there more packages I need?
For completeness, I'm upgrading to Beowulf on a raspberry pi 2b. Thanks.