Once we ship an amd64 ISO only, we should change DAVE to download the IDF on https://tails.boum.org/install/v1/Tails/amd64/stable/latest.yml instead of https://tails.boum.org/install/v1/Tails/i386/stable/latest.yml.