linux-image-4.2.0-10-generic-dbgsym 4.2.0-10.12 (armhf binary) in ubuntu wily

 This package provides a kernel debug image for version 4.2.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.