linux-image-4.10.0-13-generic-dbgsym 4.10.0-13.15~16.04.2 (armhf binary) in ubuntu xenial

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