installer: meh. indents..
syslinux:host: install efi64/efi/syslinux.efi as bootx64.efi
syslinux: also install bootx64.efi & ldlinux.e64