Re: Number of cores?
Remember, these are Xen-based machines. I think it's a limit between the version of Xen and the version of the Linux kernel running the dom0.
Some setups like Citrix' XenServer uses a 64-bit Xen kernel with a 32-bit PAE Linux dom0, in an attempt to keep the control plane as compact as possible.