I need to push syslinux there, built for both i386 (for inclusion into the ISO) and amd64 (for builder VMs).