What is the required minimum core speed for specification-based servers with Intel Xeon 5600 CPUs?