Fix querying stage3 tarball filenames

The stage3 tarball filename is still queried for amd64 architecture even after changing ARCH.