it's better than that, actually, as an AWS vCPU is a hyperthread, not a full core, and these would have 4096 hyperthreads.