Debian package created using
https://wiki.debian.org/HowToRebuildAnOfficialDebianKernelPackage
from a Debian Wheezy release with backports activated.

TODO: automate debian package creation.

