Mainly bug fixing on syslinux for EFI with PXE. Branches starting with wip/ may get rebased anytime.