I dunno about this answer, as http://www.microsoft.com/windowsserver2003/64bit/x64/datacenter.mspx has all of the points in your question and states 32 processors. Could the documentation be incorrect?

I don't like being wrong but I also like knowing when I am wrong so I can learn. 😀