Not quite Heinz: Intel's Avoton server chip comes in 13 varieties