Re: [arch-releng] [PATCH 2/3] [syslinux-cfg] Adjust to work with new -D option of mkarchiso