Odpověď od MariusMatutiae nebyla úplně ta, kterou jsem očekával, ale podíval jsem se na některé skripty pro sestavení jádra a našel jsem funkční řešení. Skript, který generuje výsledné balíčky debianu, je scripts/package/builddeb . Při pohledu na tento skript jsou části, které sestavují balíček s ladicími symboly, obklopeny podmínkami závislými na BUILD_DEBUG který greps daný KCONFIG pro CONFIG_DEBUG_INFO=y .
Chcete-li tedy zastavit generování debianových balíčků s ladicími symboly, musíte aktuálně zakázat jádro CONFIG_DEBUG_INFO možnost:
CONFIG_DEBUG_INFO=n
kernel-handbook navrhuje toto:
Pokud je zakázána možnost CONFIG_DEBUG_INFO, sestavení zabere méně místa na disku. Debuginfo je potřeba pouze v případě, že plánujete v jádře používat nástroje binárních objektů jako crash, kgdb a SystemTap.
Toho lze dosáhnout tímto příkazem:
cd linux-source-4.12
scripts/config --disable DEBUG_INFO