The latter is a better laptop, IMO, but the former has a graphics card, which is currently a big yes if you want to run Cinnamon.
I recommend going for a Lenovo or Dell laptop. They're known for having better linux compatibility. Lenovo in particular I can speak from experience.
PC: Manjaro/LM 13 x64 XFCE, Kernel 3.11.1-6/3.8.0-32-generic, Nvidia GTX650, i7 3770K, 16GB RAM, Asus Xonar DX
Laptop: Lenovo G560, LM 13 x64 XFCE, Kernel 3.11.1, i3, 6GB RAMMy HTML5 login themes + screenshots