I don't think tux was ever included in the mainline kernel. It was closer to a proof-of-concept than a serious http server alternative.