It seems that there is no lack of Documentation and Good Support for those wishing to fiddle with their Kernels: Specifically, create a Kernel-Image.

However, I no longer have this problem: I discovered that Debian has simply changed the name of the Kernel-Images to Linux-Images.

Mystery Solved and thanks for all of the Information!

Reply via email to