[Concept] [PATCH 06/19] scripts: build-efi: Use --write-kernel instead of -K