https://packages.debian.org/jessie/linux-image-3.16.0-4-armmp
Why on Earth would you think that the primary kernel of Debian would not be ported to one of the architectures Debian supports? If that were the case, supporting the architecture would be completely pointless.
