According to Dell (I spoke to them yesterday about the power supply & the HD5870), when you select a system with the HD5870, they install a more powerful PSU for that system.
I suppose the only way to verify it would be to purchase a system. They support person I spoke to also confirmed another...