Finish: Debian Kernel Package etc.

Goal

When all is done, packaging is in order. Delivery of a Debian Kernel package is not appropriate for some reasons, so a different delivery mechanism has to be found. Possibilities are,

• A simple .tar file

• A Git repository of some sort