That's not ... entirely true (edit: I see I misread you, it doesn't do X64, but there is 64 bit ARM in the form of AARCH64):

https://www.edn.com/arm64-vs-arm32-whats-different-for-linux...

You can get Arm64 linux workstations now.

https://www.anandtech.com/show/15733/ampere-emag-system-a-32...