Revisiting the Case of ARM SoCs in High-Performance Computing Clusters