Mainly bug fixing on syslinux for EFI with PXE