Just one syslinux.cfg to edit for BIOS/UEFI