Re: [arch-releng] [PATCH 14/15] [syslinux-iso] Set iso and kernel version dynamically.