Dell testing 64-bit ARM server with chip from AppliedMicro