If the file size is really unacceptably large, then maybe as a workaround you can provide a package called linux-image-debugsymbols-installer which contains a script that re-creates the debug symbols for the current kernel locally on the users machine?
If the file size is really unacceptably large, then maybe as a workaround you can provide a package called linux-image- debugsymbols- installer which contains a script that re-creates the debug symbols for the current kernel locally on the users machine?