Perché qualcuno dovrebbe compilare un nuovo kernel? Spesso non è necessario dato che il kernel fornito da Debian gestisce la maggior parte delle configurazioni.
Ovviamente chi vuole compilare il proprio kernel può comunque farlo, si raccomanda di utilizzare «make deb-pkg». Per ulteriori informazioni consultare il Debian Linux Kernel Handbook.