[coreboot-gerrit] [S] Change in coreboot[main]: payloads/external/iPXE/Makefile: Build iPXE for EFI target if requested

[Felix Singer (Code Review)]

Attention is currently required from: Filip Lewiński, Krystian Hebel, Maciej Pijanowski, Martin L Roth, Michał Kopeć, Michał Żygowski.

Felix Singer has posted comments on this change by Filip Lewiński. ( https://review.coreboot.org/c/coreboot/+/83385?usp=email )

Change subject: payloads/external/iPXE/Makefile: Build iPXE for EFI target if requested
......................................................................

Patch Set 2:

(1 comment)

Commit Message:

https://review.coreboot.org/c/coreboot/+/83385/comment/57fcc116_ed7a9cc2?usp... :
PS1, Line 8:
> Please have a look at the other [patch](https://review.coreboot. […]

I see. I don't see an issue with offering an option to build an EFI binary, but it seems this patch is missing a Kconfig option. See my other comment.