O Ubuntu com um ambiente de desktop Cinnamon ainda é considerado Ubuntu: uma distribuição Linux é muito mais do que apenas um ambiente de desktop. Distribuições diferem por vários pacotes padrão. Por exemplo, desde 15.04, o Ubuntu está mudando para outro sistema de inicialização, que traz serviços. Mint, até onde eu sei, por outro lado, ainda está usando upstart.