How should the kernel be updated on Raspbian? Raspberry Pi docs say to use rpi-update, https://www.raspberrypi.org/documentation/linux/kernel/updating.md However, the raspberrypi-kernel package was updated on July 9th 2019 and published in apt. dpkg -s raspberrypi-kernel Package: raspberrypi-kernel ...