What model Dell server? BIOS/Firmware up to date?
Does your server have settings in the BIOS for APIC or MPS specification? If so, what are they set to?
Thanks for your suggestions. This was just a misunderstanding of how the ESX reports number of CPUs licensed. Not a problem after all.