La respuesta dada por MariusMatutiae no fue exactamente la que esperaba, pero eché un vistazo a algunos de los scripts de compilación del kernel y encontré una solución viable. El script que genera los paquetes debian resultantes es scripts/package/builddeb . Mirando este script, las partes que construyen el paquete con símbolos de depuración están rodeadas de condicionales que dependen de BUILD_DEBUG que greps el KCONFIG dado para CONFIG_DEBUG_INFO=y .
Entonces, para dejar de generar paquetes Debian con símbolos de depuración, actualmente necesita deshabilitar el kernel CONFIG_DEBUG_INFO opción:
CONFIG_DEBUG_INFO=n
kernel-handbook sugiere esto:
La compilación usará menos espacio en disco si la opción CONFIG_DEBUG_INFO está deshabilitada. Debuginfo solo es necesario si planea usar herramientas de objetos binarios como crash, kgdb y SystemTap en el kernel.
Esto se puede lograr con este comando:
cd linux-source-4.12
scripts/config --disable DEBUG_INFO