On 15/05/14 12:17, xbgmsharp wrote: > I will update the system to Ubuntu 14.04 which provide syslinux 4.05. > > Is syslinux 4.05 recent enough to build iPXE correctly? It was an iPXE bug; no need to update syslinux. Michael