So I'm between these two laptops (80SV0056US, 80UV001BUS). Both have an i7, 8GB DDR4 and an SSD. The only difference is the graphics and the screen size. I'm going to use it with Linux (preferably Linux Mint, but I don't mind using Arch if I need to be on bleeding edge for better support).
The...