Ich habe neulich zu Testzwecken Linux Mint 32 Mate (nicht Cinnamon) auf einem alten Notebook installiert.
Dieses hatte 1,533 GHz, 248 MB RAM und eine Schnecke als Festplatte (20GB) eingebaut - und das System lief erschreckend flott.
Deine CPU ist weitaus schneller und hat 4x soviel RAM. Ich würde sagen, versuch es mal damit.
Linux Mint