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:

https://www.apm.com/news/appliedmicro-announces-x-gene-3-the...

Also, I assume these are Atom cores? (Avoton or whatever Intel calls them for servers).