so... I already have grub (lucky me) and it already is my default boot loader. So, do those commands to change kernels, are they just options of kernels to boot? So, I specify to grub that the amd64-k8 kernel is the one I want to use default, start using it, then I can just remove the old kernel if I don't like to be a Debian kernel archaeology dig site? Am I even close to the truth?
Oh, and thanks for your help - I know this must be a very elementary question to dawdle with.
