Binary package “kernel-signed-image-4.15.0-38-generic-di” in ubuntu bionic
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.