No Debian kernel package?

I need to update my kernel, and I am having trouble reconciling information I find with how my system is actually organized. All I did was download the standalone micro-SD card image a few months ago from the latest-images page.

So this is a Debian system, and looking at various instruction pages, programs, and examples, it seems the kernel is supposed to come in a linux-image-XXX Debian package. But my system has no such package today.

Also, it appears my boot partition is expected to be mounted at /boot, but it’s actually mounted at /boot/uboot, so there’s another reason that the update-kernel.sh program ostensibly can’t work for me.

Why the differences?

Thanks for any light anyone can shed on this.

Please include the output of: ‘cat /etc/dogtag’…