On 06/24/2013 04:03 AM, syslinux-bot for Matt Fleming wrote: > > But there's no actual need to build any installers for EFI (none exist), > especially not since the stuff in utils/ is already built for BIOS and > doesn't need building again. > None exist, and none are needed... -hpa