amd64/cu128: links for machine-setup