Signed kernel image generic for the Debian installer

 A kernel image for generic. 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.