create-iso: generate a syslinux.cfg and install it to where efi/bios syslinux can read it