I've looked at security.debian.org and am a little confused about what needs to be done to upgrade the Kernel.

Is it a matter of typing apt-get upgrade, then apt-get update?

How would I know my Kernel has been patched?

Thanks,