I'm running Linux on an HP Stream 11 I picked up on Amazon a couple of weeks ago. Why the Stream 11? 32GB vs. 16GB, N2840 vs. N2830, not having to mess around with a convoluted installation process,...