Quindi il linux-tree permette di de-patchare determinati sorgenti del kernel (derivanti dagli archivi debian). Il linux-patch-debian permette di creare il pacchetto linux-source compe presente negli archivi debian? Il linux-source sono i sorgenti patchati dagli sviluppatori debian. Tutto corretto?