La risposta data da MariusMatutiae non era proprio quella che mi aspettavo, ma ho dato un'occhiata ad alcuni degli script di compilazione del kernel e ho trovato una soluzione praticabile. Lo script che genera i pacchetti debian risultanti è scripts/package/builddeb . Guardando questo script, le parti che costruiscono il pacchetto con i simboli di debug sono circondate da condizionali dipendenti da BUILD_DEBUG che greps il dato KCONFIG per CONFIG_DEBUG_INFO=y .
Quindi, per interrompere la generazione di pacchetti Debian con simboli di debug, attualmente è necessario disabilitare il CONFIG_DEBUG_INFO del kernel opzione:
CONFIG_DEBUG_INFO=n
kernel-handbook suggerisce questo:
La compilazione utilizzerà meno spazio su disco se l'opzione CONFIG_DEBUG_INFO è disabilitata. Debuginfo è necessario solo se prevedi di utilizzare strumenti di oggetti binari come crash, kgdb e SystemTap sul kernel.
Ciò può essere ottenuto con questo comando:
cd linux-source-4.12
scripts/config --disable DEBUG_INFO