It's astonishing to me how behind the ARM ecosystem is on this. I still can't buy something like a low-end amd64 computer easily with ARM. There's a few laptops and a few cantankerous oddballs like the ROCKPro64. Then again it's Pine64 mentioned in the RISC V article, so maybe we have more years of oddballs to go.