These are virtual x86_64 servers, their non virtual ARM ones seem to be the C1x and C2x.