I think that the main argument here is that there isn't a developer desktop machine that fits the HEDT slot for ARM. There is the Raspi / Odroid / Pine64 tinkerer scale, and the ThunderX2 scale, but nowhere in the middle.
I think the Gigabyte ThunderX Station is being marketed in some channels, like the main page of this site: https://www.phoenicselectronics.com
The new Fujitsu venture Socionext does sell stuff, but like everyone has said, they're interested in doing design-build for your factory robot controller or your edge supercomputer. But they do sell a box: http://www.socionext.com/en/products/assp/SynQuacer/Edge/
It just isn't marketed as a GP /HEDT box because that isn't their market
