I don't think these are ARMv8 (64-bit). Applied Micro should be the first one to the ARM server market with such chips, and I think they will be available soon:

http://www.apm.com/news/appliedmicro-announces-general-avail...

http://www.apm.com/products/data-center/x-gene-family/x-gene...