> All of those use the same nVidia chip and the same nVidia provided Linux distro

The system76 one uses an ampere chip, but a discrete nvidia card; so not quite the same.

Generally I agree, I do not mix nvidia/linux. The point is that arm workstations are clearly being produced by many different vendors at this point.