Actually, no, 64 bit processes are not double the speed of 32 bit processes. 64 bit refers specifically to the number of registers the CPU can use to hold memory. 64 bit processors can basically address more memory than 32 bit processors, thus why you see such a large jump to 4GB. A quad socket Opteron board would be able to support 32GB I believe.
The 2800+ would be the faster solution due to the better memory bandwidth over the XP.