For a thousand bucks of CPU, motherboard and RAM, anyone with a modicum of clue building x86-64 industry standard PC hardware could set up something based on Ryzen that runs circles around that. Probably at least quadruple the performance in any integer or floating point benchmarks.
[0] https://www.solid-run.com/arm-servers-networking-platforms/h...