A friend of mine runs Arch on his Samsung Chromebook Plus, and there's also the Pinebook Pro. Both ARM. Both happen to use the RK3399 SoC, I believe, but there are other supported machines like the Asus Chromebook C201 as well.