Honestly, any of the ones you listed above will serve your purpose. I actually have a acer c720 and an asus chromebox. The acer I just run Debian via crouton and it actually works really well, even with the 2gb of ram, although I have the 32gb storage version. The chromebox I got close to 2 years ago, when they first came out and I still use as a dedicated "Kodi" HTPC using Openelec via SeaBIOS. Getting SeaBIOS on the chromebox and using Openelec wasn't that difficult, but there was already instruction guides etc on the web, then again I honestly have no qualms with my Acer using crouton. In the end since your going the laptop route, I will suggest that if you plan on using it a lot, go with a nicer screen, the Acer's screen is pretty bad, also try chromeos w/crouton before going the other route, you might just like it.