Signed kernel image for the Debian installer

 A kernel image for Intel IOTG devices. This version of it is signed with
 Canonical's UEFI signing key. It is intended for the Debian installer,
 it does _not_ provide a usable kernel for your full Debian system.