ARM processors could lead to server racks with thousands of nodes, the Red Hat ARM chief predicts