ARM Server Chips Challenge X86 in the Cloud