La réponse donnée par MariusMatutiae n'était pas tout à fait celle à laquelle je m'attendais, mais j'ai jeté un coup d'œil à certains des scripts de construction du noyau et j'ai trouvé une solution viable. Le script qui génère les packages debian résultants est scripts/package/builddeb . En regardant ce script, les parties qui construisent le package avec des symboles de débogage sont entourées de conditions dépendant de BUILD_DEBUG qui grep le KCONFIG donné pour CONFIG_DEBUG_INFO=y .
Donc, pour arrêter de générer des packages Debian avec des symboles de débogage, vous devez actuellement désactiver le noyau CONFIG_DEBUG_INFO choix :
CONFIG_DEBUG_INFO=n
kernel-handbook suggère ceci :
La construction utilisera moins d'espace disque si l'option CONFIG_DEBUG_INFO est désactivée. Debuginfo n'est nécessaire que si vous prévoyez d'utiliser des outils d'objet binaire comme crash, kgdb et SystemTap sur le noyau.
Ceci peut être réalisé par cette commande :
cd linux-source-4.12
scripts/config --disable DEBUG_INFO