gnu-efi + small patches for syslinux