> but server-ARM doesn't sound like a focus.

ARM doesn't have good server CPU IP. Graviton, A64FX, etc. belong to other companies.