Signed kernel image oem-osp1 for the Debian installer

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