Signed Generic Linux kernel and headers (dummy transitional package)

 This package will always depend on the latest generic kernel image
 available. Signed with the Ubuntu EFI key.