Am Sun, Mar 19, 2023 at 03:14:59PM +0100 schrieb Josselin Poiret:
> I agree with you, but given that upstream has already closed a
> discussion on this topic with a clear stance, I don't really want to
> re-open anything.  We could go with that solution for now?

If it is indeed a solution... Here is how far I got, patch attached.
I updated the source code to the latest commit. The patch to
src/util/geniso does not apply any more (in fact, the complete file
has disappeared). The build fails, relatedly:
  [GENFSIMG] bin/ipxe.iso
util/genfsimg: could not find isolinux.bin
make[2]: *** [arch/x86/Makefile.pcbios:61: bin/ipxe.iso] Error 1
...
error: in phase 'build': uncaught exception:
...
build of /gnu/store/z9fs06nl38g2q1ss9wf1vbxp60011izj-ipxe-1.21.1-0.09e8a15.drv failed
View build log at '/var/log/guix/drvs/z9/fs06nl38g2q1ss9wf1vbxp60011izj-ipxe-1.21.1-0.09e8a15.drv.gz'.

See also here:
   https://github.com/ipxe/ipxe/issues/775
isolinux.bin is supposed to be installed by syslinux, but it is not.

If you could have a more informed look, that would be great.

Andreas