linux-image-4.1.0-1-generic-dbgsym 4.1.0-1.1 (armhf binary) in ubuntu wily

 This package provides a kernel debug image for version 4.1.0 on
 ARM (hard float) SMP.
 .
 This is for sites that wish to debug the kernel.
 .
 The kernel image contained in this package is NOT meant to boot from. It
 is uncompressed, and unstripped. This package also includes the
 unstripped modules.