Of course those sd card image links are broken. I recommend using the 9front fork which is actively developed with a nearly daily active mailing list and irc channel. http://9front.org/releases/ (please use the torrent links if possible)