Last I checked they were using some pretty old 32-bit ARM cores (probably Cortex-A9). They should try and get some of these, if the offer is good:<p><a href="https://www.apm.com/news/appliedmicro-announces-x-gene-3-the-industrys-first-armv8-a-finfet-server-s/" rel="nofollow">https://www.apm.com/news/appliedmicro-announces-x-gene-3-the...</a><p>Also, I assume these are Atom cores? (Avoton or whatever Intel calls them for servers).