[syslinux] fix dual EFI+BIOS support for tails and other ISOs

* Closes #381