Laufen wird da jedes Linux Mint - und Geschwindigkeitsunterschiede wirst du keine feststellen - wenn überhaupt in nichtssagenden Benchmarks.
Am Ende egal ob Cinnamon, Mate oder XFCE - alle basieren auf GTK3, alle müssen die GTK3 Bibliothek laden damit sie funktionieren.
Cinnamon bietet ein paar mehr optische Effekte, die werden aber die GPU gerendet sollte also alles kein grosses Problem sein.