[arch-releng] [PATCH] [syslinux-iso] Update URL of mirrorlist matching new archweb change