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

[Filip Lewiński (Code Review)]

Attention is currently required from: Felix Singer, Krystian Hebel, Maciej Pijanowski, Martin L Roth, Michał Kopeć, Michał Żygowski.

Filip Lewiński 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/0afd0b78_f73b8a71?usp... :
PS1, Line 8:
> How can it be used with UEFI? Does EDK2 recognize and offer it?

Please have a look at the other [patch](https://review.coreboot.org/c/coreboot/+/82721/3) in the relation chain, the two together enable using iPXE as a boot option within EDK2. Though AFAIK, this is only supported in the Dasharo fork at the moment