It seems like the ThunderX chips from Cavium are the most prevalent 64-bit arm marketed as server platforms. Very high core count, high memory capacity.. I've been hoping that these things take off because I love the idea: http://www.cavium.com/ThunderX_ARM_Processors.html