Hello, I have the following environment - ISC dhcp + Syslinux. Any chance to get it working for EUFI clients? I need to be able boot both BIOS and UEFI clients. I know that alpha version of syslinix should have EFI support but didn't found how to get this working. Thanks.