Remove kernel from boot partition on GRUB/EFI platforms

Value

Pre-built images are significantly smaller.

Description

The boot partition contains a kernel image that is put there by bitbake machinery. That kernel is not used for booting at all can can be safely removed.

In scope

Out of Scope

Acceptance Criteria

Applicable Market Segments

Applicable Personas