By my calculations the Redstone config has 6400 cores and the traditional one has 4800 cores. But discussing such vague claims is pretty pointless anyway.
also:
HP can cram three rows of these [4 CPU --jsn] ARM boards, with six per row, for a total of 72 server nodes
From that I conclude that in their calculations 1 CPU == 1 server.