ftp://ftp.kernel.org/pub/linux/utils/boot/syslinux/Testing/syslinux-3.70-pre16.tar.bz2
You will need to run mkisofs with the same options used to generate the
image.
In a pinch, if you can point me to the original ISO I could try to
doctor it.
That would be useful. This is potentially a previously unreported BIOS
issue which might have a straightforward workaround, so I'm eager to get
the data.
-hpa
--